Verifying the Unification Algorithm in LCF (1985)

Cached

Download Links

by Lawrence C. Paulson
Venue:Science of Computer Programming
Citations:9 - 0 self

Documents Related by Co-Citation

35 Deductive synthesis of the unification algorithm – Z Manna, R Waldinger - 1981
536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
703 Introduction to Metamathematics – S Kleene - 1952
479 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1977
505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993
944 A theory of type polymorphism in programming – Robin Milner - 1978
1318 Monads for functional programming – Philip Wadler - 1995