A Concrete Final Coalgebra Theorem for ZF Set Theory (1994)

Cached

Download Links

by Lawrence C. Paulson
Venue:Types for Proofs and Programs: International Workshop TYPES ’94, LNCS 996
Citations:16 - 7 self

Documents Related by Co-Citation

2936 Genetic Programming: On the Programming of Computers by Means of Natural Selection – J R Koza - 1992
2224 The Art of Computer Programming – D E Knuth - 1969
77 Co-induction in relational semantics – Robin Milner, Mads Tofte - 1988
396 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik – Kurt Gödel - 1931
45 Set theory for verification: I. From foundations to functions – Lawrence C. Paulson - 1993
3242 Communication and Concurrency – R Milner - 1989
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
1083 Introduction to Lattices and Order – DP90 B A Davey, H A Priestley - 1990
505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993