Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Emmenegger, Jacopo
21  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

Categorical models of subtyping:

Coraglia, Greta ; Emmenegger, Jacopo
http://arxiv.org/abs/2312.14600.  , 2023
Link: http://arxiv.org/abs/231..
 
?
2

A comonad for Grothendieck fibrations:

Emmenegger, Jacopo ; Mesiti, Luca ; Rosolini, Giuseppe.
http://arxiv.org/abs/2305.01474.  , 2023
Link: http://arxiv.org/abs/230..
 
?
3

The solutions to single-variable polynomials, implemented a..:

Dyson, Nicholas ; Ahrens, Benedikt ; Emmenegger, Jacopo
http://arxiv.org/abs/2201.00255.  , 2022
Link: http://arxiv.org/abs/220..
 
?
4

Algebraic Presentations of Dependent Type Theories:

Ahrens, Benedikt ; Emmenegger, Jacopo ; North, Paige Randall.
http://arxiv.org/abs/2111.09948.  , 2021
Link: http://arxiv.org/abs/211..
 
?
5

A characterisation of elementary fibrations:

Emmenegger, Jacopo ; Pasquali, Fabio ; Rosolini, Giuseppe
http://arxiv.org/abs/2007.16180.  , 2020
Link: http://arxiv.org/abs/200..
 
?
6

Exact completion and type-theoretic structures:

Emmenegger, Jacopo
http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-162275.  , 2019
Link: http://urn.kb.se/resolve..
 
?
7

The Fullness Axiom and exact completion of homotopy categor..:

Emmenegger, Jacopo
http://arxiv.org/abs/1808.09905.  , 2018
Link: http://arxiv.org/abs/180..
 
?
8

W-types in setoids:

Emmenegger, Jacopo
http://arxiv.org/abs/1809.02375.  , 2018
Link: http://arxiv.org/abs/180..
 
?
9

On the local cartesian closure of exact completions:

Emmenegger, Jacopo
http://arxiv.org/abs/1804.08585.  , 2018
Link: http://arxiv.org/abs/180..
 
?
10

Exact completion and constructive theories of sets:

Emmenegger, Jacopo ; Palmgren, Erik
http://arxiv.org/abs/1710.10685.  , 2017
Link: http://arxiv.org/abs/171..
 
?
11

A category-theoretic version of the identity type weak fact..:

Emmenegger, Jacopo
http://arxiv.org/abs/1412.0153.  , 2014
Link: http://arxiv.org/abs/141..
 
?
12

A category-theoretic version of the identity type weak fact..:

Emmenegger, Jacopo
http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-109909.  ,
Link: http://urn.kb.se/resolve..
 
?
13

On the local cartesian closure of exact completions:

Emmenegger, Jacopo
http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-159377.  ,
Link: http://urn.kb.se/resolve..
 
?
14

The Fullness Axiom and exact completions of homotopy catego..:

Emmenegger, Jacopo
http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-162273.  ,
Link: http://urn.kb.se/resolve..
 
?
15

Exact completion and constructive theories of sets:

Emmenegger, Jacopo ; Palmgren, Erik
http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-151876.  ,
Link: http://urn.kb.se/resolve..
 
1-15