Bas Spitters
- Foundations of Probabilistic Programming
2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 7 citations
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
- Type Classes for Mathematics in Type Theory
2011/02/07 by Bas Spitters, Spitters, Bas, Eelis van der Weegen +1 · 3 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
- The HoTT Library: A formalization of homotopy type theory in Coq
2016/10/14 by Andrej Bauer, Bauer, Andrej, Jason Gross +9 · 2 citations
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
- Normalization by gluing for free λ-theories
2018/09/23 by Jonathan Sterling, Sterling, Jonathan, Bas Spitters +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
- Smart Contract Interactions in Coq
2019/11/12 by Jakob Botsch Nielsen, Bas Spitters · 1 voice
Computer Science · #cs.LO #cs.PL