Filter models and easy terms

DOI10.1007/3-540-45446-2_2MaRDI QIDQ4448355zbMATH OpenFDO

Authors Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell

Publication date 18 February 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Simple easy terms
• Intersection types and domain operators
• Generalized filter models
• An irregular filter model
• Intersection types and lambda models

Cited in

(12)

• Intersection types and domain operators
• Generalized filter models
• Intersection types and lambda models
• Simple easy terms
• Graph easy sets of mute lambda terms
• Easy lambda-terms are not always simple
• Intersection types and computational rules
• Recursive Domain Equations of Filter Models
• Types for Proofs and Programs
• Unsolvable terms in filter models (invited talk)
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• An irregular filter model

This page was built for publication: Filter models and easy terms

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