scientific article; zbMATH DE number 2061704

zbMATH Open1040.03025MaRDI QIDQ4457451FDOQ4457451

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (8)

• Type inference for light affine logic via constraints on words
• Phase semantics and decidability of elementary affine logic
• Title not available (Why is that?)
• 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)