Initial algebra semantics is enough (2007)
by
Patricia Johann
,
Neil Ghani
| Venue: | Proceedings, Typed Lambda Calculus and Applications |
| Citations: | 5 - 2 self |
Document Versions
| Initial algebra semantics is enough –Patricia Johann, Neil Ghani — 2007 — Proceedings, Typed Lambda Calculus and Applications |
