Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"ᴘ‑Category Theory"”.
-
Formal ᴘ‑Category Theory and Normalisation for Simple Type Theory
This thesis extends ᴘ‑category theory, introduced in Čubrić et al. (1998), and develops ᴘ‑bicategory theory, and thereafter uses them to conduct a ᴘ‑categorical analysis and synthesis of normalisation by evaluation for simple type theory. ᴘ‑category theory was introduced as a non-standard …