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

2872 Genetic programming: On the programming of computers by means of natural selection – J R Koza - 1992
2201 The art of computer programming – Donald Erwin Knuth - 1966
76 Co-induction in relational semantics – R Milner, M Tofte - 1991
387 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte der – K Gödel - 1931
3217 Communication and Concurrency – R MILNER - 1989
45 Set theory for verification: I. From foundations to functions – Lawrence C. Paulson - 1993
421 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
1068 Introduction to Lattices and Order – B A Davey, H A Priestley - 1990
501 Introduction to HOL: A Theorem Proving Environment for Higher Order Logic – M J C Gordon, T F Melham - 1993