Recommendations
Cites work
- scientific article; zbMATH DE number 108434 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3331288 (Why is no real title available?)
- BCK-combinators and linear \(\lambda\)-terms have types
- Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends
- Combinatory logic. With two sections by William Craig.
- Notes on the axiomatics of the propositional calculus
- Positive logic and -constants
- Principal types of BCK-lambda-terms
- The Principal Type-Scheme of an Object in Combinatory Logic
- The lambda calculus, its syntax and semantics
Cited in
(9)- On Principal Types of BCK-λ-Terms
- scientific article; zbMATH DE number 3916223 (Why is no real title available?)
- The converse principal type-scheme theorem in lambda calculus
- BCK-combinators and linear \(\lambda\)-terms have types
- Principal types of BCK-lambda-terms
- Restoration of types in reflexive combinatory logic
- The involutions-as-principal types/application-as-unification analogy
- Principal type-schemes of BCI-lambda-terms
- scientific article; zbMATH DE number 1008445 (Why is no real title available?)
This page was built for publication: On principal types of combinators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583260)
