scientific article; zbMATH DE number 863013
From MaRDI portal
Publication:4871733
zbMath0849.68111MaRDI QIDQ4871733
Publication date: 2 April 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)
Related Items (4)
Developing certified programs in the system Coq the program tactic ⋮ Proof search with set variable instantiation in the Calculus of Constructions ⋮ Proof-term synthesis on dependent-type systems via explicit substitutions ⋮ The calculus of constructions as a framework for proof search with set variable instantiation
This page was built for publication: