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
44 Set theory for verification: I. From foundations to functions – Lawrence C. Paulson - 1993
44 A fixedpoint approach to implementing (co)inductive definitions – Lawrence C Paulson
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
41 Set Theory for Verification: II - Induction and Recursion – Lawrence C. Paulson - 2000
165 Logic and Computation: Interactive Proof with Cambridge LCF – L Paulson - 1987
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
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
7 On interpretations of arithmetic and set theory – Richard Kaye, Tin Lok Wong - 2006
2866 Genetic Programming – On the Programming of Computers by Means of Natural Selection – J R Koza - 1992
2197 The art of computer programming – D E Knuth - 1973
385 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme.” Monatshefte für Mathematik und Physik – Kurt Gödel - 1931
59 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
14 General recursive functions – Julia Robinson - 1950
7 A Case Study of Co-induction in Isabelle – Jacob Frost - 1995