Iteration and Coiteration Schemes for Higher-Order and Nested Datatypes (2004)

Cached

Download Links

by Andreas Abel , Ralph Matthes , Tarmo Uustalu
Citations:12 - 2 self

Documents Related by Co-Citation

79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
10 Constructive analysis, Types and Exact Real Numbers – H Geuvers, M Nigqui, B Spitters, F Wiedijk
13 Affine functions and series with co-inductive real numbers – Y Bertot
30 Modal mu-calculi – Julian Bradfield, Colin Stirling - 2007
7 Realizability interpretation of proofs in constructive analysis – Helmut Schwichtenberg - 2006
17 Computing with Real Numbers - I. The LFT Approach to Real Number Computation - II. A Domain Framework for Computational Geometry – Abbas Edalat, Reinhold Heckmann - 2002
10 Monotone Inductive and Coinductive Constructors of Rank 2 – Ralph Matthes - 2001
94 Recursive types and type constraints in second-order lambda calculus – P F Mendler - 1987
27 Proof Theory At Work: Program Development In The Minlog System – ? Benl, Berger, Schwichtenberg, Seisenberger, Zuber - 1998
34 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
13 M.H.: Semantics of a sequential language for exact real-number computation – J R Marcial-Romero, Escardó - 2004
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
24 Manufacturing Datatypes – Ralf Hinze - 1999
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
8 From coinductive proofs to exact real arithmetic – Ulrich Berger
49 A realizability interpretation of the theory of species – W W Tait - 1975
13 A certified, corecursive implementation of exact real numbers – Alberto Ciaffaglione - 2006
227 Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types – Jean-Yves Girard - 1970
13 A proof of strong normalisation using domain theory – Thierry Coquand, Chalmers Tekniska Högskola - 2006