Reference : A Type Theory with Partial Equivalence Relations as Types
Scientific congresses, symposiums and conference proceedings : Unpublished conference
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22653
A Type Theory with Partial Equivalence Relations as Types
English
Anand, Abhishek [Cornell University > Computer Science Department]
Bickford, Mark [Cornell University > Computer Science Department]
Constable, Robert L. [Cornell University > Computer Science Department]
Rahli, Vincent mailto [Cornell University > Computer Science Department]
2014
Yes
TYPES 2014
May 2014
http://hdl.handle.net/10993/22653
Presented at TYPES 2014

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
per-types-TYPES-2014-04-11.pdfAuthor preprint96.64 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.