Spitters, Bas

1. Type Classes for Mathematics in Type Theory
   2011/02/07 by Bas Spitters, Spitters, Bas, Eelis van der Weegen +1 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. The HoTT Library: A formalization of homotopy type theory in Coq
   2016/10/14 by Andrej Bauer, Jason Gross, Bauer, Andrej +9 · 2 citations
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
3. Normalization by gluing for free λ-theories
   2018/09/23 by Jonathan Sterling, Bas Spitters, Sterling, Jonathan +1 · 1 citation
   Computer Science · Mathematics · #FOS: Computer and information sciences #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies