A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par - Bickford - Document - PDFSEARCH.IO

First Page	Meta Content
	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Document Date: 2014-04-23 10:39:41 Open Document File Size: 96,64 KB Share Result on Facebook Company Russell / CTT / / IndustryTerm dependent products / similar systems / / Organization Cornell University / / Person Vincent Rahli / Mark Bickford / / Position Robert L. Constable / / Technology functional programming / / SocialTag Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory

A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a parAdd to Reading List