Monotone Inductive and Coinductive Constructors of Rank 2 (2001)

by Ralph Matthes
Venue:Proceedings of CSL 2001
Citations:10 - 4 self

Documents Related by Co-Citation

229 Une extension de l’interprétation de Gödel à l’analyse et son application à l’élimination de coupures dans l’analyse et la théorie des types – J Y Girard - 1971
519 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
398 LCF considered as a programming language – G Plotkin - 1977
12 Iteration and Coiteration Schemes for Higher-Order and Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2004
95 Inductive types and type constraints in the second-order lambda calculus – N P Mendler
35 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
67 W.: Iterated Inductive Definitions and Subsystems of Analysis – W Buchholz, F Feferman, W Pohlers, Sieg - 1981
16 Computing with Real Numbers - I. The LFT Approach to Real Number Computation - II. A Domain Framework for Computational Geometry – Abbas Edalat, Reinhold Heckmann - 2002
12 A certified, corecursive implementation of exact real numbers – Alberto Ciaffaglione - 2006
6 Realizability interpretation of proofs in constructive analysis – Helmut Schwichtenberg - 2006
9 F.: Constructive analysis, types and exact real numbers – H Geuvers, M Niqui, B Spitters, Wiedijk - 2007
28 Modal mu-calculi – Julian Bradfield, Colin Stirling - 2007
49 A realizability interpretation of the theory of species – W W Tait - 1975
13 A proof of strong normalisation using domain theory – Thierry Coquand, Chalmers Tekniska Högskola - 2006
12 Affine functions and series with co-inductive real numbers – Y Bertot - 2007
9 Continuous functions on final coalgebras – Neil Ghani, Peter Hancock, Dirk Pattinson - 2007