Philip Saville

Available identifiers

zbMath Open saville.philipMaRDI QIDQ2200827

List of research outcomes

Publication	Date of Publication	Type
A type theory for Cartesian closed bicategories	2024-12-19	Paper
Clones, closed categories, and combinatory logic	2024-10-30	Paper
Strong pseudomonads and premonoidal bicategories	2023-04-21	Paper
Coherence for bicategorical cartesian closed structure	2022-04-05	Paper
Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure	2021-01-21	Paper
Relative full completeness for bicategorical Cartesian closed structure	2020-09-23	Paper
Cartesian closed bicategories: type theory and coherence	2020-07-01	Paper
List Objects with Algebraic Structure	2020-05-26	Paper
Clones, closed categories, and combinatory logic	N/A	Paper

Research outcomes over time

This page was built for person: Philip Saville