Initiality for Typed Syntax and Semantics Benedikt Ahrens Université Nice Sophia Antipolis Séminaire GdT Sémantique, PPS, Paris December 13, 2011 - Paris–Nice - Document - PDFSEARCH.IO

First Page	Meta Content
	Initiality for Typed Syntax and Semantics Benedikt Ahrens Université Nice Sophia Antipolis Séminaire GdT Sémantique, PPS, Paris December 13, 2011 Add to Reading List Document Date: 2012-06-18 05:59:45 Open Document File Size: 464,54 KB Share Result on Facebook

Initiality for Typed Syntax and Semantics Benedikt Ahrens Université Nice Sophia Antipolis Séminaire GdT Sémantique, PPS, Paris December 13, 2011Add to Reading List