Finite combinatory logic with intersection types

DOI10.1007/978-3-642-21691-6_15MaRDI QIDQ3007665zbMATH OpenOpenAlexFDO

Authors Jakob Rehof, Paweł Urzyczyn

Publication date 17 June 2011

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

Full work available at URL https://doi.org/10.1007/978-3-642-21691-6_15

Mathematics Subject Classification ID

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

Recommendations

• Bounded combinatory logic
• Using inhabitation in bounded combinatory logic with intersection types for composition synthesis
• Intersection types for combinatory logic
• The ``relevance of intersection and union types
• scientific article; zbMATH DE number 1377610

Cites work

• A filter lambda model and the completeness of type assignment
• A finite set of functions with an EXPTIME-complete composition problem
• An extension of basic functionality theory for -calculus
• Finite combinatory logic with intersection types
• Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis
• scientific article; zbMATH DE number 2185668 (Why is no real title available?)
• scientific article; zbMATH DE number 3811535 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• Inhabitation of Low-Rank Intersection Types
• Intersection Types as Logical Formulae
• Intersection types for combinatory logic
• Programming Languages and Systems
• Recognizability in the Simply Typed Lambda-Calculus
• Synthesis from Component Libraries
• The emptiness problem for intersection types
• The Inhabitation Problem for Rank Two Intersection Types
• The Logic of Persistent Intersection

Cited in

(10)

• Combinatory logic with polymorphic types
• Finite combinatory logic with intersection types
• scientific article; zbMATH DE number 4143942 (Why is no real title available?)
• Restoration of types in reflexive combinatory logic
• scientific article; zbMATH DE number 1189067 (Why is no real title available?)
• Bounded combinatory logic
• scientific article; zbMATH DE number 1377610 (Why is no real title available?)
• Using inhabitation in bounded combinatory logic with intersection types for composition synthesis
• Taming the merge operator
• Finite combinatory logic with predicates

This page was built for publication: Finite combinatory logic with intersection types

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