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

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
  • 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: Association for Computing Machinery (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 volumeConference contributionScientificpeer-review

    Open Access
    File
    32 Downloads (Pure)
  • Bicategorical type theory: Semantics and syntax

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

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
    23 Downloads (Pure)