72 citations · 159 across the 26 of their papers we have counts for
1 paper · 2 filters
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…