Simple easy terms

DOI10.1016/S1571-0661(04)80487-0MaRDI QIDQ2842831zbMATH OpenOpenAlexFDO

Authors Fabio Alessi, S. Lusin

Publication date 16 August 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80487-0

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Intersection types and domain operators
• scientific article; zbMATH DE number 2044491
• Easy lambda-terms are not always simple
• scientific article; zbMATH DE number 3916224
• scientific article; zbMATH DE number 1361533

Cites work

• A filter lambda model and the completeness of type assignment
• An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
• An extension of basic functionality theory for -calculus
• Domain theory in logical form
• Full abstraction in the lazy lambda calculus
• scientific article; zbMATH DE number 3648679 (Why is no real title available?)
• scientific article; zbMATH DE number 3889502 (Why is no real title available?)
• scientific article; zbMATH DE number 3916224 (Why is no real title available?)
• scientific article; zbMATH DE number 4087629 (Why is no real title available?)
• scientific article; zbMATH DE number 956467 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 23772 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 92599 (Why is no real title available?)
• scientific article; zbMATH DE number 3556025 (Why is no real title available?)
• scientific article; zbMATH DE number 512776 (Why is no real title available?)
• scientific article; zbMATH DE number 2044491 (Why is no real title available?)
• scientific article; zbMATH DE number 1759417 (Why is no real title available?)
• scientific article; zbMATH DE number 937379 (Why is no real title available?)
• Lambda‐Calculus Models and Extensionality
• On the Jacopini technique
• Semantical analysis of perpetual strategies in -calculus
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• Some new results on easy lambda-terms
• The call-by-value λ-calculus: a semantic investigation
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models

Cited in

(7)

• Intersection types and domain operators
• Easiness in graph models
• Intersection types and lambda models
• Graph easy sets of mute lambda terms
• Easy lambda-terms are not always simple
• scientific article; zbMATH DE number 2044491 (Why is no real title available?)
• Intersection types and computational rules

This page was built for publication: Simple easy terms

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