Theorem Proving in Higher Order Logics

DOI10.1007/11541868zbMath1152.68464OpenAlexW2484880499MaRDI QIDQ5477644

Andrew M. Pitts

Publication date: 6 July 2006

Full work available at URL: https://doi.org/10.1007/11541868

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations