scientific article
From MaRDI portal
Publication:3815293
zbMath0664.03037MaRDI QIDQ3815293
Publication date: 1988
Full work available at URL: https://eudml.org/doc/17666
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Proof theory and constructive mathematics (03F99)
Related Items
The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem, The Kreisel length-of-proof problem, Fast algorithms for uniform semi-unification, Extending the type checker of Standard ML by polymorphic recursion, Typability and type checking in System F are equivalent and undecidable
