//img.uscri.be/pth/3d26d5f21fd8ef8a125a1e3bda94e5ada901947b
Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Initiality for Typed Syntax and Semantics

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

  • initial semantics

  • adding types

  • categorical recursion

  • benedikt ahrens


Voir plus Voir moins
Initiality for Typed Syntax and Semantics
Benedikt Ahrens
Université Nice Sophia–Antipolis
Sept 11, 2011
Motivating(?) Question:PCFLC
Mathematical structure of
PCFLC
?
Challenges: Ivarying types Icapture compatibility with substitution + reduction
PCFLC
morphism in some category ?
Motivating(?) Question:PCFLC
Mathematical structure of
PCFLC
?
Challenges: Ivarying types Icapture compatibility with substitution + reduction
PCFLCinitialmorphism in some category ?