Searching for "Universal Algebra in Type Theory." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Universal Algebra in Type Theory
- …Universal Algebra in Type Theory Venanzio Capretta Computer Science Institute University…
- Cited by 7 (5 self) – Add To MetaCart
-
Is Computer Programming a Science?
- … Fundamental tools: discrete mathematics -- Set theory -- Formal logic -- Universal algebra -- Type theory…
- Add To MetaCart
-
A Two-Level Approach towards Lean Proof-Checking
- … in type theory. The applications of universal algebra for equational reasoning were realized later…
- Cited by 12 (4 self) – Add To MetaCart
-
Type Isomorphisms and Proof Reuse in Dependent Type Theory
- … large body of algebra in type theory. Unfortunately, instantiating universal algebra to a concrete…
- Cited by 9 (0 self) – Add To MetaCart
-
Universal algebra for termination of higher-order rewriting
- … the theory of binding algebras [Plo98], which aimed to apply ideas in universal algebra to type theory…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 5.
