Information and Computation - Semantics of Data Types
Programming in Martin-Lo¨f's type theory: an introduction
Programming in Martin-Lo¨f's type theory: an introduction
Quotients over Minimal Type Theory
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Hi-index | 0.00 |
We treat subsets, equivalence relations, and partial functions, with subsets as propositional functions.In order for these three notions to work well together, we propose some changes to the theory of subsets as propositional functions.The method used is not to make any changes to the type theory itself, but to view the new concepts as defined ones.