scientific article
From MaRDI portal
Publication:3343471
zbMath0551.68075MaRDI QIDQ3343471
Eve Longini Cohen, Peter B. Andrews, Dale A. Miller, Frank Pfenning
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Set-of-support strategy for higher-order logic, Higher-order unification, polymorphism, and subsorts, Higher-order unification with dependent function types, A compact representation of proofs, A unification algorithm for second-order monadic terms, On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory, Unification theory, Extensional higher-order paramodulation in Leo-III, A Survey of the Proof-Theoretic Foundations of Logic Programming, On connections and higher-order logic, Unification under a mixed prefix, The foundation of a generic theorem prover, Higher-order unification revisited: Complete sets of transformations, What holds in a context?, Simple second-order languages for which unification is undecidable, Set theory for verification. I: From foundations to functions