scientific article
From MaRDI portal
Publication:4012874
zbMath0756.03013MaRDI QIDQ4012874
Nax Paul Mendler, Peter Aczel, David P. Carlisle
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
generic theorem prover Isabellelogical theory of constructionLTC frameworkLTC theoriesMartin-Löf type theories
Logic in computer science (03B70) Second- and higher-order arithmetic and fragments (03F35) Combinatory logic and lambda calculus (03B40) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items (1)
Uses Software
This page was built for publication:
