Infinite Objects in Type Theory (0)

Cached

Download Links

by Thierry Coquand
Citations:83 - 2 self

Documents Related by Co-Citation

70 Codifying guarded definitions with recursive schemes – Eduardo Giménez - 1995
163 Inductive Definitions in the System Coq Rules and Properties – Christine Paulin-Mohring - 1992
51 Inductive and Coinductive types with Iteration and Recursion – Herman Geuvers - 1992
41 A Predicative Analysis of Structural Recursion – Andreas Abel, Thorsten Altenkirch - 1999
44 Inductive Data Type Systems – Frédéric Blanqui, Jean-pierre Jouannaud, Mitsuhiro Okada - 1997
168 Coroutines and Networks of Parallel Processes – Gilles Kahn, David B MacQueen - 1977
14 Programming with streams in Coq — a case study: the sieve of Eratosthenes – François Leclerc, Christine Paulin-Mohring - 1993
53 Synthesis of ML programs in the system Coq – C Paulin-Mohring, B Werner - 1993
120 Proving the correctness of reactive systems using sized types – John Hughes, Lars Pareto, Amr Sabry - 1996
41 Mechanizing Coinduction and Corecursion in Higher-order Logic – Lawrence C. Paulson - 1997
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
12 A Calculus of Infinite constructions and its applications to the verification of communicating systems – E Giménez - 1996
16 Fix-point Equations for Well-Founded Recursion in Type Theory – Antonia Balaa, Yves Bertot - 2000
39 Type-Based Termination of Recursive Definitions – G. Barthe, M. J. Frade, E. Giménez, L. Pinto, T. Uustalu - 2002
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
702 Types and programming languages – Benjamin C Pierce - 2002
18 Logical Relations and Inductive/coinductive Types – Thorsten Altenkirch - 1998
939 A theory of type polymorphism in programming – Robin Milner - 1978