No photo of P.R. North

P.R. North

Dr.

Fingerprint

Dive into the research topics where P.R. North is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 3 Conference contribution
  • 2 Article

  • Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories

    Ahrens, B. P., LeFanu Lumsdaine, P. & North, P. R., 2024, Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Proceedings: 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/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

  • Univalent Double Categories

    Van Der Weide, N., Rasekh, N., Ahrens, B. & North, P. R., 2024, CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024. Timany, A., Traytel, D., Pientka, B. & Blazy, S. (eds.). New York, NY, USA: ACM, p. 246-259 14 p. (CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    68 Downloads (Pure)

  • Bicategorical type theory: Semantics and syntax

    Ahrens, B., North, P. R. & Van Der Weide, N., 2023, In: Mathematical Structures in Computer Science. 33 , 10, p. 868-912 45 p.

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

    Open Access
    File
    1 Citation (Scopus)
    65 Downloads (Pure)

  • B-systems and C-systems are equivalent

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

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

    Open Access
    File
    1 Citation (Scopus)
    59 Downloads (Pure)

  • Semantics for two-dimensional type theory

    Ahrens, B., North, P. R. & van der Weide, N., 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022. New York: ACM, 14 p. 12

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    3 Citations (Scopus)
    93 Downloads (Pure)