No photo of Paige North PR

Paige North

dr.

Personal profile

About

See https://paigenorth.github.io

Link to Utrecht University staff page

https://www.uu.nl/staff/PRNorth

Fingerprint

Dive into the research topics where Paige North is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
View full fingerprint

Publication network from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Algebraic Presentations of Type Dependency

    Ahrens, B., Emmenegger, J., North, P. R. & Rijke, E., 6 Feb 2025, In: Logical Methods in Computer Science. 21, 1, p. 14:1-14:71

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File

  • Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories

    Ahrens, B., Lumsdaine, P. L. F. & North, P. R., 2025, Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Proceedings. Kiselyov, O. (ed.). Springer, p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15194 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Insights from Univalent Foundations: A Case Study Using Double Categories

    Rasekh, N., van der Weide, N., Ahrens, B. & North, P. R., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (eds.). Dagstuhl Publishing, p. 45:1-45:18 45. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 326).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • B-systems and C-systems are equivalent

    Ahrens, B., Emmenegger, J., North, P. R. & Rijke, E., Dec 2024, In: Journal of Symbolic Logic. 89, 4, p. 1513-1521

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File

  • Formalizing the Algebraic Small Object Argument in UniMath

    Hilhorst, D. & North, P. R., 2 Sept 2024, 15th International Conference on Interactive Theorem Proving, ITP 2024. Bertot, Y., Kutsia, T. & Norrish, M. (eds.). Dagstuhl Publishing, 18 p. 20. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 309).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
View all 21 research outputs