scientific article; zbMATH DE number 517012

zbMath0797.68143MaRDI QIDQ4282536

O. Hermann, Didier Galmiche

Publication date: 17 March 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

intuitionistic logic\(\lambda\)-calculusprogram synthesisprogramming with proofsinteractive theorem prover

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

SKIL, Proof-search in type-theoretic languages: An introduction