Initiality for Typed Syntax and Semantics

Benedikt Ahrens

Description

Initiality for Typed Syntax and Semantics Benedikt Ahrens Université Nice Sophia–Antipolis Sept 11, 2011

• initial semantics


• adding types


• categorical recursion


• benedikt ahrens

Informations

• Publié par: pefav
• Nombre de lectures: 46
• Langue: English

Extrait

Initiality for Typed Syntax and Semantics

Benedikt Ahrens

Université Nice Sophia–Antipolis

Sept 11, 2011

Motivating(?) Question:PCF→LC

Mathematical structure of

PCF→LC

?

Challenges: I varying types I capture compatibility with substitution + reduction

PCF→LC

morphism in some category ?

Motivating(?) Question:PCF→LC

Mathematical structure of

PCF→LC

?

Challenges: I varying types I capture compatibility with substitution + reduction

PCF→LCinitialmorphism in some category ?