Higher-order action calculi (1993)

by Robin Milner
Venue:Computer Science Logic