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 ?
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin