scientific article; zbMATH DE number 2061704

MaRDI QIDQ4457451zbMATH OpenFDO

Authors Paolo Coppola, Simona Ronchi Della Rocca

Publication date 22 March 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2701/27010090.htm

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2182488
• Typed Lambda Calculi and Applications
• Type inference for light affine logic via constraints on words
• Optimizing optimal reduction
• Typed Lambda Calculi and Applications

Cited in

(8)

• Type inference for light affine logic via constraints on words
• Phase semantics and decidability of elementary affine logic
• scientific article; zbMATH DE number 2182488 (Why is no real title available?)
• Principal type-schemes and condensed detachment
• Typed Lambda Calculi and Applications
• Typed Lambda Calculi and Applications
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• (Optimal) duplication is not elementary recursive

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4457451)