Initial algebra semantics is enough (2007)

by Patricia Johann , Neil Ghani
Venue:Proceedings, Typed Lambda Calculus and Applications
Citations:8 - 5 self