72 citations · 159 across the 26 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
math.LO2012
Initial Semantics for Reduction Rules
Benedikt Ahrens
We give an algebraic characterization of the syntax and operational semantics of a class of simply-typed languages, such as the language PCF: we characterize simply-typed syntax wi…
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…