One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations

DOI10.1007/978-3-540-69937-8_16zbMath1156.03013OpenAlexW1556510689MaRDI QIDQ3511457

Dominic P. Mulligan, Murdoch James Gabbay

Publication date: 10 July 2008

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69937-8_16

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms ⋮ Two-level Lambda-calculus ⋮ The lambda-context calculus (extended version)

This page was built for publication: One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations