back to main page

Talks given by Benedikt Ahrens

• Initiality for Typed Syntax and Semantics, 2011-12-13, PPS, GdT Sémantique (slides)
• Initiality for Typed Syntax and Semantics, 2011-09-11, TYPES 2011, (slides)

back to main page