scientific article; zbMATH DE number 1301729
From MaRDI portal
Publication:4246942
zbMath0927.03018MaRDI QIDQ4246942
Publication date: 13 December 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
calculus of constructionstype systemformalization of the interface of a proof-checkerproofs-as-terms principle
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Formalizing generalized maps in Coq ⋮ Formalizing the trading theorem in Coq ⋮ The challenge of computer mathematics ⋮ \textsf{LOGIC}: a Coq library for logics ⋮ A solution to the PoplMark challenge based on de Bruijn indices ⋮ Pure type systems with explicit substitutions ⋮ Strongly reducing variants of the Krivine abstract machine ⋮ A formalization and proof checker for Isabelle's metalogic
Uses Software
This page was built for publication: