Extensional Constructs In Intensional Type Theory Distinguished Dissertations Book Flavour


File Name: Extensional Constructs In Intensional Type Theory Distinguished Dissertations

Hash File: 8338bda9b6e2288fd71c8dacd0c90239.pdf

Size: 37567 KB

Uploaded: October 06, 2017

Rating: 3.5/5 from 5282 votes.

AVAILABLE Last checked: 38 Minutes ago!