Hoare's Logic in the LF (1987)

View PDF

Download Links

by Ian Mason
Citations:20 - 4 self

Documents Related by Co-Citation

716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
879 A formulation of the simple theory of types – A Church - 1940
888 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
85 Using Typed Lambda Calculus to Implement Formal Systems on a Machine – Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack - 1992
610 Assigning meaning to programs – R Floyd - 1967
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
497 The calculus of constructions – T Coquand, G P Huet - 1988
498 Model Theory – C C Chang, H J Keisler - 1973