scientific article; zbMATH DE number 1456951

MaRDI QIDQ4954440zbMATH OpenFDO

Authors Fabio Alessi

Publication date 7 June 2000

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• A complete characterization of complete intersection-type preorders
• Type preorders and recursive terms
• Infinite intersection types
• scientific article; zbMATH DE number 2242600
• Intersection types and lambda models

Cited in

(8)

• On Ruppert's preordering
• Filter models for conjunctive-disjunctive \(\lambda\)-calculi
• Special classes of positive preorders
• Type preorders and recursive terms
• Infinite \(\lambda\)-calculus and types
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• A complete characterization of complete intersection-type preorders
• 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 Q4954440)