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

77 Co-induction in relational semantics – R Milner, M Tofte - 1991
46 Set theory for verification: I. From foundations to functions – Lawrence C. Paulson - 1993
44 A fixedpoint approach to implementing (co)inductive definitions – L C Paulson - 1994
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
43 Set Theory for Verification: II - Induction and Recursion – Lawrence C. Paulson - 2000
167 Logic and Computation: Interactive Proof with Cambridge LCF – L C Paulson - 1987
14 General recursive functions – Julia Robinson - 1950
7 On interpretations of arithmetic and set theory – Richard Kaye, Tin Lok Wong - 2006
7 On simple goedel numberings and translations – Juris Hartmanis, Theodore P Baker - 1974
8 Finite generation of recursively enumerable sets – Julia Robinson - 1480
7 Generic algorithms for the generation of combinatorial objects – Conrado Martinez, Xavier Molinero - 2003
7 On the consistency and independence of some set-theoretical constructs – Alexander Abian, Samuel Lamacchia - 1978
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
12 Decidability of the theory of the natural integers with the Cantor pairing function and the successor. To appear. Private communication – Patrick Cegielski, Denis Richard - 1999
2854 Genetic Programming: On the Programming of Computers by Means of Natural Selection – J Koza - 1992
2190 The Art of Computer Programming – Donald Knuth - 1973
389 Über Formal Unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatshefte für Mathematik und Physik – Kurt Gödel - 1931
3219 Communication and Concurrency – R Milner - 1990