Intersection types for lambda-terms and combinators and their logics

DOI10.1093/jigpal/10.4.357zbMath1022.03005OpenAlexW2170952169MaRDI QIDQ4779581

Martin W. Bunder

Publication date: 2 November 2003

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/10.4.357

zbMATH Keywords

lambda calculuslambda termscombinatorsassignment systemlogic of intersection typesnatural deduction-style logicVenneri logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

A classification of intersection type systems ⋮ A typed lambda calculus with intersection types