Initial Algebra Semantics is Enough (2007)

by P Johann, N Ghani
Venue:Proceedings, Typed Lambda Calculus and Applications