Sökning: "Carlos Martin"
Visar resultat 6 - 6 av 6 avhandlingar innehållade orden Carlos Martin.
6. Relations in Dependent Type Theory
Sammanfattning : 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. LÄS MER