The Concurrent Lambda Calculus 1: a General Precongruence Theorem for Applicative Bisimulation (1992)

by C-H L Ong