Login / Signup
Daniel Carranza
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Theoretical Basis
Decision Making
Bayesian Networks
Continuous Data
Top Venues
Appl. Categorical Struct.
Log. Methods Comput. Sci.
</>
Publications
</>
Daniel Carranza
,
Krzysztof Kapulkin
,
Jinho Kim
Nonexistence of Colimits in Naive Discrete Homotopy Theory.
Appl. Categorical Struct.
31 (5) (2023)
Daniel Carranza
,
Jonathan Chang
,
Chris Kapulkin
,
Ryan Sandford
2-adjoint equivalences in homotopy type theory.
Log. Methods Comput. Sci.
17 (1) (2021)