A general pre-congruence theorem for applicative bisimulation (preliminary version). Unpublished manuscript (1992)

by C-H L Ong