Concepedia

Bas Spitters

BS

Statistics

Publications

23

Citations

641

H-Index

16

Active since

2005

Affiliations

Radboud University Nijmegen(Current)

Aarhus University

Eindhoven University of Technology

University of San Diego

Max Planck Institute for Security and Privacy

Bas Spitters is an author at Radboud University Nijmegen specializing in mathematics, natural sciences, and computer science.

Publications per year

2005–2023

23

Publications

23

Type classes for mathematics in type theory

Bas Spitters, Eelis van der Weegen · Mathematical Structures in Computer Science · 2011 · 86 citations

Natural Sciences, Computer Science, Mathematics +16

The HoTT library: a formalization of homotopy type theory in Coq

Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine et al. · 2016 · 56 citations · Full text

Natural Sciences, Computer Science, Mathematics +13

Intuitionistic Quantum Logic of an n-level System

Martijn Caspers, Chris Heunen, Nicolaas P. Landsman et al. · Foundations of Physics · 2009 · 45 citations · Full text

Natural Sciences, Mathematics, Physics +8

Modal dependent type theory and dependent right adjoints

Lars Birkedal, Ranald Clouston, Bassel Mannaa et al. · Apollo (University of Cambridge) · 2019 · 40 citations · Full text

Language Studies, Computer Science, Mathematics +14

Modalities in homotopy type theory

Egbert Rijke, Michael Shulman, Bas Spitters · Logical Methods in Computer Science · 2020 · 35 citations · Full text

Natural Sciences, Mathematics, Semantics +13

1–5 of 23