Pi-Calculus, Dialogue Games and PCF (1995)
by
J. M. E. Hyland
,
C. -h. L. Ong
| Venue: | In 7th Annual ACM Conference on Functional Programming Languages and Computer Architecture |
| Citations: | 5 - 0 self |







