Searching for "Infinite Objects in Type Theory." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
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
Showing 1 through 5.
