Reasoning about higher-order processes, in ``Proceedings of TAPSOFT' 95 (1995)

by R Amadio, M Dam
Venue:Eds.), Lecture Notes in Computer Science