Infinite Objects in Type Theory (0)

Cached

Download Links

by Thierry Coquand
Citations:83 - 2 self

Active Bibliography

5 Ordinals and Interactive Programs – Peter Hancock - 2000
16 Un Calcul De Constructions Infinies Et Son Application A La Verification De Systemes Communicants – Carlos Eduardo Giménez, Suprieure De Lyon, Spcialit Informatique, Par Carlos Eduardo Gimnez, De Systemes Communicants, Roberto Amadio, Roberto Amadio, Luc Boug, Thierry Coquand, Thierry Coquand, Michel Cosnard (president, Gilles Kahn - 1996
5 Themes in Final Semantics – Marina Lenisa - 1998
Infinite Objects In Type Theory – Veronica Gaspes - 1997
22 Normalization by evaluation for Martin-Löf type theory with one universe – Andreas Abel, Klaus Aehlig, Peter Dybjer - 2007
journal homepage: www.elsevier.com/locate/tcs – Venanzio Capretta
2 Tools for a Calculus of Broadcasting Systems – Jenny Petersson - 1993
12 Co-Inductive Types in Coq: An Experiment with the Alternating Bit Protocol – Eduardo Gimenez, Ecole Normale, Ecole Normale, Suprieure Lyon, Suprieure Lyon - 1995
3 Ensuring the Productivity of Infinite Structures – Alastair Telford, David Turner - 1998
15 Ensuring Streams Flow – Alastair Telford, David Turner - 1997
15 An Implementation of LF with Coercive Subtyping & Universes – Paul Callaghan, Zhaohui Luo
29 General recursion via coinductive types – Venanzio Capretta
9 Why dependent types matter – Thorsten Altenkirch, Conor Mcbride, James Mckinna - 2005
3 Interactive programs and weakly final coalgebras (extended version – Anton Setzer, Peter Hancock
3 Guarded Induction and Weakly Final Coalgebras in Dependent Type Theory – Peter Hancock, Anton Setzer - 2004
48 Coercive subtyping – Zhaohui Luo - 1998
9 Constructing strictly positive families – Peter Morris, Thorsten Altenkirch - 2007
42 A finite axiomatization of inductive-recursive definitions – Peter Dybjer, Anton Setzer - 1999
2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000