scientific article; zbMATH DE number 1456951

zbMATH Open0938.03025MaRDI QIDQ4954440FDOQ4954440

Authors: Fabio Alessi 

Publication date: 7 June 2000

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

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

Mathematics Subject Classification ID

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

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)