Type assignment and conservation properties

MaRDI QIDQ4581175zbMATH OpenFDO

Authors George Koletsos

Publication date 23 August 2018

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 512779
• Intersection types and termination properties
• Typing untyped \(\lambda\)-terms, or reducibility strikes again!
• scientific article; zbMATH DE number 512770
• A filter lambda model and the completeness of type assignment

Cited in

(2)

• A type-assignment of linear erasure and duplication
• Type Preservation as a Confluence Problem

This page was built for publication: Type assignment and conservation properties

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