Initial algebra semantics is enough! Typed Lambda Calculi and Applications (2007)

by P Johann, N Ghani
Venue:Lecture Notes in Computer Science