Resolution and type theory

DOI10.1016/0167-6423(91)90038-YzbMath0748.03010OpenAlexW1543851933MaRDI QIDQ1183555

Leen Helmink

Publication date: 28 June 1992

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(91)90038-y

zbMATH Keywords

calculus of constructionsnatural deductiontyped lambda calculusConstructive Type Theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Second- and higher-order arithmetic and fragments (03F35) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Resolution and type theory