Inhabitation of types in the simply typed lambda calculus

DOI10.1006/INCO.1995.1074zbMath0832.68060OpenAlexW1983748102MaRDI QIDQ1893725

Wil Dekkers

Publication date: 1 August 1995

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

Full work available at URL: https://doi.org/10.1006/inco.1995.1074

zbMATH Keywords

intuitionistic implicational calculus

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Logic in artificial intelligence (68T27)

Related Items (1)

Realist Consequence, Epistemic Inference, Computational Correctness

This page was built for publication: Inhabitation of types in the simply typed lambda calculus