Search for dissertations about: "Carlos Gonzalía"
Found 1 swedish dissertation containing the words Carlos Gonzalía.
-
1. Relations in Dependent Type Theory
Abstract : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. READ MORE
Result pages:
1