View in EDS PDF Full Text

Well-founded Relations in Type Theory.

Saved in:
Bibliographic Details
Title: Well-founded Relations in Type Theory.
Authors: Peratto, Patricia1
Source: Logic Journal of the IGPL; 1997, Vol. 5 Issue 6, p811-852, 42p
Database: Applied Science & Technology Source
Description
ISSN:13670751
DOI:10.1093/jigpal/5.6.811