受强制性开放获取政策约束的文章 - Michael Shulman了解详情
无法在其他位置公开访问的文章：1 篇
Algebraic & Geometric
TOM LEINSTER, M SHULMAN
Algebraic & Geometric Topology 21, 2175-2221, 2021
强制性开放获取政策： US Department of Defense
可在其他位置公开访问的文章：21 篇
Brouwer's fixed-point theorem in real-cohesive homotopy type theory
M Shulman
Mathematical Structures in Computer Science 28 (6), 856-941, 2018
强制性开放获取政策： US Department of Defense
Semantics of higher inductive types
PLF Lumsdaine, M Shulman
Mathematical Proceedings of the Cambridge Philosophical Society 169 (1), 159-208, 2020
强制性开放获取政策： US Department of Defense, Swedish Research Council
The HoTT library: a formalization of homotopy type theory in Coq
A Bauer, J Gross, PLF Lumsdaine, M Shulman, M Sozeau, B Spitters
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
强制性开放获取政策： US National Science Foundation, US Department of Defense, Villum Foundation …
A fibrational framework for substructural and modal logics
DR Licata, M Shulman, M Riley
2nd International Conference on Formal Structures for Computation and …, 2017
强制性开放获取政策： US Department of Defense
Enriched categories as a free cocompletion
R Garner, M Shulman
Advances in Mathematics 289, 1-94, 2016
强制性开放获取政策： US National Science Foundation, Australian Research Council
Magnitude homology of enriched categories and metric spaces
T Leinster, M Shulman
Algebraic & Geometric Topology 21 (5), 2175-2221, 2021
强制性开放获取政策： US Department of Defense
The additivity of traces in monoidal derivators
M Groth, K Ponto, M Shulman
Journal of K-theory 14 (3), 422-494, 2014
强制性开放获取政策： German Research Foundation
Mayer-Vietoris sequences in stable derivators
M Groth, K Ponto, M Shulman
Homology, Homotopy and Applications 16 (1), 265-294, 2014
强制性开放获取政策： German Research Foundation
The Seifert-van Kampen theorem in homotopy type theory
M Shulman
25th eacsl annual conference on computer science logic (csl 2016), 2016
强制性开放获取政策： US National Science Foundation
A higher structure identity principle
B Ahrens, PR North, M Shulman, D Tsementzis
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
强制性开放获取政策： US National Science Foundation, US Department of Defense, UK Engineering and …
Comparing material and structural set theories
M Shulman
Annals of Pure and Applied Logic 170 (4), 465-504, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense
Semantics of multimodal adjoint type theory
M Shulman
arXiv preprint arXiv:2303.02572, 2023
强制性开放获取政策： US Department of Defense
Idempotents in intensional type theory
M Shulman
Logical Methods in Computer Science 12, 2017
强制性开放获取政策： US Department of Defense
Internal parametricity, without an interval
T Altenkirch, Y Chamoun, A Kaposi, M Shulman
Proceedings of the ACM on Programming Languages 8 (POPL), 2340-2369, 2024
强制性开放获取政策： US Department of Defense, National Office for Research, Development and …
Generalized stability for abstract homotopy theories
M Rahn, M Shulman
Annals of K-Theory 6 (1), 1-28, 2021
强制性开放获取政策： US Department of Defense
Differential Cohesive Type Theory
JA Gross, DR Licata, MS New, J Paykin, M Riley, M Shulman, F Wellen
Extended abstracts for the Workshop “Homotopy Type Theory and Univalent …, 2017
强制性开放获取政策： US National Science Foundation
The HoTT library
A Bauer, J Gross, PLF Lumsdaine, M Shulman, B Spitters
URL: https://github. com/HoTT/HoTT, 2016
强制性开放获取政策： US National Science Foundation, Villum Foundation, European Commission
Towards higher observational type theory
T Altenkirch, A Kaposi, M Shulman
28th International Conference on Types for Proofs and Programs (TYPES 2022 …, 2022
强制性开放获取政策： US Department of Defense, Magyar Tudományos Akadémia, National Office for …
LNL polycategories and doctrines of linear logic
M Shulman
arXiv preprint arXiv:2106.15042, 2021
强制性开放获取政策： US Department of Defense
出版信息和资助信息由计算机程序自动确定