Initial algebra semantics is enough (2007)

by Patricia Johann, Neil Ghani
Venue:Proceedings, Typed Lambda Calculus and Applications