Importing mathematics from hol into Nuprl (1996)

View PDF

Download Links

by Douglas J. Howe
Venue:Theorem Proving in Higher Order Logics (TPHOLs 1996), volume 1125 of LNCS
Citations:28 - 2 self

Active Bibliography

30 Semantic Foundations for Embedding HOL in Nuprl – Douglas J. Howe - 1996
6 A Classical Set-Theoretic Model of Polymorphic Extensional Type Theory – Douglas J. Howe - 1997
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1353 Monads for functional programming – Philip Wadler - 1995
1165 Proof-Carrying Code – George C. Necula - 1997
766 Notions of Computation and Monads – Eugenio Moggi - 1991
571 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
503 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
562 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002