"The Allegory of E-Relations in Constructive Type Theory."

Carlos Gonzalía (2000)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2017-03-21