Publication:4938612
From MaRDI portal
zbMath0944.03007MaRDI QIDQ4938612
Gilles Dowek, Claude Kirchner, Thérèse Hardin
Publication date: 25 April 2000
extensionality; explicit substitutions; higher-order resolution; first-order presentation of higher-order logic
03B35: Mechanization of proofs and logical operations
Related Items