Sökning: "Carlos Gonzalía"
Hittade 1 avhandling innehållade orden Carlos Gonzalía.
1. 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
Resultatsidor:
1