72 citations · 159 across the 26 of their papers we have counts for
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012
Initiality for Typed Syntax and Semantics
Benedikt Ahrens
In this thesis we give an algebraic characterization of the syntax and semantics of simply-typed languages. More precisely, we characterize simply-typed binding syntax equipped wit…
cs.LO2012★ 3 cited
Initiality for Typed Syntax and Semantics
Benedikt Ahrens
We give an algebraic characterization of the syntax and semantics of a class of simply-typed languages, such as the language PCF: we characterize simply-typed binding syntax equipp…