scientific article; zbMATH DE number 2044491

zbMATH Open1042.03014MaRDI QIDQ4448355FDOQ4448355

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

Title of this publication is not available (Why is that?)

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (10)

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

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)