Searching for "Infinite Objects in Type Theory." – sorted by Relevance.
-
Infinite Objects In Type Theory
- INFINITE OBJECTS IN TYPE THEORY VERONICA GASPES Contents 1. Introduction 1 2. Lazy Evaluation
- Add To MetaCart
-
Infinite Objects in Type Theory
- 1 Infinite Objects in Type Theory Thierry Coquand Programming Methodology Group. Department
- Cited by 52 (2 self) – Add To MetaCart
-
Combinator Shared Reduction and Infinite Objects in Type Theory
- Combinator Shared Reduction and Innite Objects in Type Theory Catarina Coquand y March 15, 1996
- Cited by 2 (0 self) – Add To MetaCart
-
TYPE THEORY AND FUNCTIONAL PROGRAMMING A WORK PROPOSAL Gustavo Betarte
- the introduction of potentially infinite objects. How to deal with this notion of infinite object in type theory
- Add To MetaCart
-
Informal Proceedings Of The 1993 Workshop On Types For Proofs And Programs, Nijmegen
- -Checkers : : : : : : : : : : : : : : : : : : : : : : : 51 T. Coquand Infinite Objects in Type Theory
- Add To MetaCart

