924 followers Alexander Wolf @ahenotri [1206.4547] Initiality for Typed Syntax and Semantics - http://t.co/yvbFFehh 21 Jun 2012 Reply Repost Favourite