E-LIB Suche - Ergebnisse für: Emmenegger, Jacopo

1

B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT:

AHRENS, BENEDIKT ; EMMENEGGER, JACOPO ; NORTH, PAIGE RANDALL.
The Journal of Symbolic Logic. , 2023

2

A characterisation of elementary fibrations:

Emmenegger, Jacopo ; Pasquali, Fabio ; Rosolini, Giuseppe
Annals of Pure and Applied Logic. 173 (2022) 6 - p. 103103 , 2022

Link: https://doi.org/10.1016/..

3

Elementary fibrations of enriched groupoids:

Emmenegger, Jacopo ; Pasquali, Fabio ; Rosolini, Giuseppe
Mathematical Structures in Computer Science. 31 (2021) 9 - p. 958-978 , 2021

Link: https://doi.org/10.1017/..

4

W-types in setoids:

Emmenegger, Jacopo
Logical Methods in Computer Science. 17, Issue 3 (2021) - p. , 2021

Link: https://doi.org/10.46298..

5

Elementary doctrines as coalgebras:

Emmenegger, Jacopo ; Pasquali, Fabio ; Rosolini, Giuseppe
Journal of Pure and Applied Algebra. 224 (2020) 12 - p. 106445 , 2020

Link: https://doi.org/10.1016/..

6

EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS:

EMMENEGGER, JACOPO ; PALMGREN, ERIK
The Journal of Symbolic Logic. 85 (2020) 2 - p. 563-584 , 2020

Link: https://doi.org/10.1017/..

7

On the local cartesian closure of exact completions:

Emmenegger, Jacopo
Journal of Pure and Applied Algebra. 224 (2020) 11 - p. 106414 , 2020

Link: https://doi.org/10.1016/..

8

Categorical models of subtyping:

Coraglia, Greta ; Emmenegger, Jacopo
http://arxiv.org/abs/2312.14600. , 2023

Link: http://arxiv.org/abs/231..

9

A comonad for Grothendieck fibrations:

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

Link: http://arxiv.org/abs/230..

10

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..

11

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..

12

A characterisation of elementary fibrations:

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

Link: http://arxiv.org/abs/200..

13

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..

14

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

Emmenegger, Jacopo
http://arxiv.org/abs/1808.09905. , 2018

Link: http://arxiv.org/abs/180..

15

W-types in setoids:

Emmenegger, Jacopo
http://arxiv.org/abs/1809.02375. , 2018

Link: http://arxiv.org/abs/180..