Concurrent Lambda Calculus and a General Precongruence Theorem for Applicative Bisimulations (1992)

by C-H L Ong