Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
A calculus of constructions with explicit subtyping Ali Assaf September 16, 2014 Abstract The calculus of constructions can be extended with an infinite hierarchy of universes and cumulative subtyping. In this hierarchy,
Add to Reading List
Document Date: 2014-12-18 18:53:18
Open Document
File Size: 487,64 KB
Share Result on Facebook
A calculus of constructions with explicit subtyping Ali Assaf September 16, 2014 Abstract The calculus of constructions can be extended with an infinite hierarchy of universes and cumulative subtyping. In this hierarchy,