Resolution and type theory

From MaRDI portal

Publication:1183555

Jump to:navigation, search

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 constructions natural deduction typed lambda calculus Constructive Type Theory

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

This page was built for publication: Resolution and type theory

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1183555&oldid=12050114"

Pages with script errors