Equational Semantics (1999)

by L Correnson, E Duris, D Parigot
Venue:in Proceedings of the 6th International Symposium, LNCS 1694, Springer Berlin