Extensional Equality In Intensional Type Theory.pdf

Last update : 1 week ago

"Extensional Equality in Intensional Type Theory" is owned and hosted by nott.ac.uk, this file has been downloaded 130 times, the last time was in 2025-03-28.
, if you want to preview or download it, just click the link below.

  Download
Title Extensional Equality in Intensional Type Theory
File Name lics99.pdf - 132.82 KB
Pages 9 pages
Owner nott.ac.uk
Nb of downloads 130

If you are the owner and you want to remove this file from our databse, please contact us, we will remove it within 24 hours.