Publikationer pr. år
Publikationer pr. år
Publikation
- 7 resultater
Søgeresultater
-
2018
An Application of Computable Distributions to the Semantics of Probabilistic Programs
Huang, D., Morrisett, G. & Spitters, B., 20 jun. 2018, 46 s. Cornell University.Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning
Fil76 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 s. arxiv.org.Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning › peer review
Åben adgangFil178 Downloads (Pure) -
Internal Universes in Models of Homotopy Type Theory
Licata, D. R., Orton, I., Pitts, A. M. & Spitters, B., 1 jul. 2018, 17 s. arxiv.org.Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning › peer review
Åben adgangFil34 Citationer (Scopus)149 Downloads (Pure) -
2017
Modalities in homotopy type theory
Rijke, E., Shulman, M. & Spitters, B., 27 jun. 2017Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning › peer review
Åben adgang -
2016
Cubical sets and the topological topos
Spitters, B., 17 okt. 2016Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning
Åben adgang -
Guarded Cubical Type Theory
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A., 2016Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning › peer review
Åben adgang16 Citationer (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., 2016Publikation: Andet › Udgivelser på nettet - Net-publikation › Forskning
Åben adgang