DOI10.2168/LMCS-4(1:1)2008zbMath1152.03014MaRDI QIDQ3518266
Wil Dekkers, Martin W. Bunder
Publication date: 7 August 2008 Published in: Logical Methods in Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.2168/lmcs-4(1:1)2008
zbMATH Keywords
lambda calculus; pure type system; illative combinatory logic; Hilbert-style logic
Mathematics Subject Classification ID
03B70: Logic in computer science
03B40: Combinatory logic and lambda calculus
Uses Software