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.
If "Extensional Equality in Intensional Type Theory" does not meet your expectations, we invite you to take a look at the similar files below :
Related files to Extensional Equality in Intensional Type Theory
Intensional Extensional Language As A Measure Of Semantic
10-3_mclaughlin.pdf
Efficient SMT Solving For Bit Vectors And The Extensional Theory
Brummayer-phdthesis.pdf
More files from nott.ac.uk
Multi Objective Aspects Of The Examination Timetabling Competition
Owner : nott.ac.uk
Microsoft Word JOS SW2010 Plenary 17 08 2010 Final Corrections Requested By CM Editor Doc
Owner : nott.ac.uk
Random Fonts For The Simulation Of Handwriting
Owner : nott.ac.uk
Paper2 Short Dvi
Owner : nott.ac.uk
Optical Font Recognition From Projection Profiles
Owner : nott.ac.uk