Initial algebra semantics is enough (2007)

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

Document Versions

Initial algebra semantics is enough –Patricia Johann, Neil Ghani — 2007 — Proceedings, Typed Lambda Calculus and Applications