Bisimulation and propositional intuitionistic logic (1997)

by A Patterson
Venue:In Proc. CONCUR ’97, 8th Int. Conf. on Concurrency Theory, LNCS 1243