A Type Theory with Partial Equivalence Relations as Types

Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)

Anand, Abhishek; Bickford, Mark; Constable, Robert L. et al.

2014 • TYPES 2014

Permalink
https://hdl.handle.net/10993/22653

per-types-TYPES-2014-04-11.pdf

Author preprint (98.96 kB)

All documents in ORBilu are protected by a user license.

Disciplines :

Computer science

Author, co-author :

Anand, Abhishek; Cornell University > Computer Science Department

Bickford, Mark; Cornell University > Computer Science Department

Constable, Robert L.; Cornell University > Computer Science Department

Rahli, Vincent ; Cornell University > Computer Science Department

External co-authors :

yes

Language :

English

Title :

A Type Theory with Partial Equivalence Relations as Types

Publication date :

2014

Event name :

TYPES 2014

Event date :

May 2014

Commentary :

Presented at TYPES 2014

Available on ORBilu :

since 30 November 2015

Number of views

53 (5 by Unilu)

Number of downloads

347 (0 by Unilu)