Sökning: "power series algebra"
Visar resultat 11 - 11 av 11 avhandlingar innehållade orden power series algebra.
11. 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