Theorem Proving in Higher Order Logics
From MaRDI portal
Publication:5477646
DOI10.1007/11541868zbMath1152.68516MaRDI QIDQ5477646
Peter Sewell, Steve Zdancewic, Benjamin C. Pierce, J. Nathan Foster, Aaron Bohannon, Stephanie Weirich, Dimitrios Vytiniotis, Geoffrey Washburn, Brian E. Aydemir, Matthew W. Fairbairn
Publication date: 6 July 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11541868
Related Items
PoplMark, Nominal techniques in Isabelle/HOL, Mechanized Verification of CPS Transformations, The Abella Interactive Theorem Prover (System Description), Nominal Inversion Principles
Uses Software