Non finitely generated types and λ-terms combinatoric representation cost

DOI10.1016/S0764-4442(00)01686-4MaRDI QIDQ4522149zbMATH OpenOpenAlexFDO

Authors T. Joly

Publication date 19 March 2001

Published in Comptes Rendus de l'Académie des Sciences - Series I - Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0764-4442(00)01686-4

zbMATH Keywords

pure \(\lambda\)-calculussimply typed \(\lambda\)-calculusrepresentation of \(\lambda\)-terms from combinators

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 1808200
• Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types
• scientific article; zbMATH DE number 992007
• scientific article; zbMATH DE number 1759417
• Compositional characterisations of \(\lambda\)-terms using intersection types
• The complexity of type inference for higher-order typed lambda calculi
• scientific article; zbMATH DE number 4072354
• Expressing computational complexity in constructive type theory
• Non-idempotent intersection types for the lambda-calculus
• Efficiency of lambda-encodings in total type theory

Cited in

(3)

• How many numbers can a lambda-term contain?
• scientific article; zbMATH DE number 1808200 (Why is no real title available?)
• A characterization of lambda-terms transforming numerals

This page was built for publication: Non finitely generated types and λ-terms combinatoric representation cost

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