Infinite Objects in Type Theory (0)

Cached

Download Links

by Thierry Coquand
Citations:83 - 2 self

Document Versions

Infinite Objects in Type Theory –Thierry Coquand
Infinite Objects in Type Theory –Thierry Coquand — Types for Proofs and Programs (TYPES '93), volume 806 of Lecture Notes in Computer Science