Specification Structures and Propositionsas -Types for Concurrency (1996)

by S Abramsky, S Gay, R Nagarajan
Venue:8th Ban# Higher Order Workshop, August 27 - September 3, 1995, Proceedings), Springer Lecture Notes in Computer Science 1043