"Infinite Objects in Type Theory"

Nax Paul Mendler, Prakash Panangaden, Robert L. Constable (1986)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2023-09-24

a service of  Schloss Dagstuhl - Leibniz Center for Informatics