Research output per year
Research output per year
Research output
Search results
-
2018
An Application of Computable Distributions to the Semantics of Probabilistic Programs
Huang, D., Morrisett, G. & Spitters, B., 20 Jun 2018, 46 p. Cornell University.Research output: Other contribution › Net publication - Internet publication › Research
File76 Downloads (Pure) -
Computer-aided proofs for multiparty computation with active security
Haagh, H., Karbyshev, A., Oechsner, S., Spitters, B. & Strub, P.-Y., 19 Jun 2018, 13 p. arxiv.org.Research output: Other contribution › Net publication - Internet publication › Research › peer-review
Open AccessFile178 Downloads (Pure) -
Internal Universes in Models of Homotopy Type Theory
Licata, D. R., Orton, I., Pitts, A. M. & Spitters, B., 1 Jul 2018, 17 p. arxiv.org.Research output: Other contribution › Net publication - Internet publication › Research › peer-review
Open AccessFile36 Citations (Scopus)149 Downloads (Pure) -
2017
Modalities in homotopy type theory
Rijke, E., Shulman, M. & Spitters, B., 27 Jun 2017Research output: Other contribution › Net publication - Internet publication › Research › peer-review
Open Access -
2016
Cubical sets and the topological topos
Spitters, B., 17 Oct 2016Research output: Other contribution › Net publication - Internet publication › Research
Open Access -
Guarded Cubical Type Theory
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A., 2016Research output: Other contribution › Net publication - Internet publication › Research › peer-review
Open Access16 Citations (Scopus) -
The HoTT Library: A formalization of homotopy type theory in Coq
Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M. & Spitters, B., 2016Research output: Other contribution › Net publication - Internet publication › Research
Open Access