E-LIB Suche - Ergebnisse für: NORTH, PAIGE RANDALL

1

Univalent Double Categories:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,

van der Weide, Niels ; Rasekh, Nima ; Ahrens, Benedikt. - p. 246-259 , 2024

2

Bicategorical type theory: semantics and syntax:

Ahrens, Benedikt ; North, Paige Randall ; van der Weide, Niels
Mathematical Structures in Computer Science. 33 (2023) 10 - p. 868-912 , 2023

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

3

B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT:

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

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

4

Semantics for two-dimensional type theory:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Ahrens, Benedikt ; North, Paige Randall ; van der Weide, Niels - p. 1-14 , 2022

Link: https://dl.acm.org/doi/1..

5

A Higher Structure Identity Principle:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Ahrens, Benedikt ; North, Paige Randall ; Shulman, Michael. - p. 53-66 , 2020

Link: https://dl.acm.org/doi/1..

6

Towards a Directed Homotopy Type Theory:

North, Paige Randall
Electronic Notes in Theoretical Computer Science. 347 (2019) - p. 223-239 , 2019

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

7

Univalent Foundations and the Equivalence Principle:

, In: Synthese Library; Reflections on the Foundations of Mathematics,

Ahrens, Benedikt ; North, Paige Randall - p. 137-150 , 2019

Link: https://doi.org/10.1007/..

8

Identity types and weak factorization systems in Cauchy com..:

North, Paige Randall
Mathematical Structures in Computer Science. 29 (2019) 9 - p. 1411-1427 , 2019

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

9

Univalent Double Categories:

van der Weide, Niels ; Rasekh, Nima ; Ahrens, Benedikt.
http://arxiv.org/abs/2310.09220. , 2023

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

10

Coinductive Control of Inductive Data Types:

North, Paige Randall
doi:10.4230/LIPIcs.CALCO.2023.15. , 2023

Link: https://doi.org/10.4230/..

11

Coinductive control of inductive data types:

North, Paige Randall ; Péroux, Maximilien
http://arxiv.org/abs/2303.16793. , 2023

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

12

Coinductive control of inductive data types:

North, Paige Randall ; Péroux, Maximilien
https://dspace.library.uu.nl/handle/1874/431600. , 2023

Link: https://dspace.library.u..

13

Univalent foundations and the equivalence principle:

Ahrens, Benedikt ; North, Paige Randall
http://arxiv.org/abs/2202.01892. , 2022

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

14

Bicategorical type theory: semantics and syntax:

Ahrens, Benedikt ; North, Paige Randall ; van der Weide, Niels
http://arxiv.org/abs/2201.10662. , 2022

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

15

Semantics for two-dimensional type theory:

Ahrens, Benedikt ; North, Paige Randall ; Weide, Niels van der
https://dspace.library.uu.nl/handle/1874/431873. , 2022

Link: https://dspace.library.u..