The Semantics of Reflected Proof (1990)

Cached

Download Links

by Stuart Allen , Robert L. Constable , Douglas J. Howe , William E. Aitken
Venue:IN PROC. OF FIFTH SYMP. ON LOGIC IN COMP. SCI
Citations:90 - 11 self

Documents Related by Co-Citation

541 Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.” Cambridge – M J C Gordon, T F Melham - 1993
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
597 Untersuchungen über das logische Schließen – G Gentzen - 1935
3153 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
571 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
497 The calculus of constructions – T Coquand, G P Huet - 1988
762 Introduction to Metamathematics – S C Kleene
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998