Samson Abramsky Simon J. Gay Rajagopal Nagarajan Specification Structures and Propositions-as-Types for Concurrency. 5-40 1995 conf/banff/1995 Banff Higher Order Workshop db/conf/banff/banff1995.html#AbramskyGN95