On the Metatheory of Subtype Universes

Bradley, F. (Speaker)

Department of Computer Science

Activity: Talk or presentation › Oral presentation

Period	14 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