scientific article; zbMATH DE number 2044491

MaRDI QIDQ4448355zbMATH OpenFDO

Authors Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell

Publication date 18 February 2004

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

(11)

• 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
• 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:

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