Initial Algebra Semantics is Enough! Typed Lambda Calculus and Applications (2007)

by P Johann, N Ghani