On the Metatheory of Subtype Universes (TYPES23)

Bradley, F. (Speaker)

Department of Computer Science

Activity: Talk or presentation › Oral presentation

Period	12 Jun 2023 → 15 Jun 2023
Event title	TYPES 2023
Event type	Conference
Location	Valencia, SpainShow on map
Degree of Recognition	International

Keywords

type theory
subtype universes
subtyping
metatheory
logic
normalisation
embedding

Documents & Links

On the Metatheory of Subtype Universes (Ext. Abstract).pdf
File: application/pdf, 197 KB
Type: Text
TYPES23 - On the Metatheory of Subtype Universes (Slides)
File: application/pdf, 392 KB
Type: Text

Related content

Research output
A Metatheoretic Analysis of Subtype Universes
Research output: Chapter in Book/Report/Conference proceeding › Chapter