The typed a-calculus with first-class processes (1989)

by F Nielson
Venue:In Proceedings of PARLE 89. Lecture Notes in Computer Science
Add To MetaCart
Results 1 - 1 of 1

Elements of Interaction

by Robin Milner - COMMUNICATIONS OF THE ACM , 1993
"... ..."
Abstract - Cited by 135 (11 self) - Add to MetaCart
Abstract not found