Full Abstraction by Translation (1996)

by Guy Mccusker
Venue:Proc., 3rd Workshop in Theory and Formal Methods
Citations:5 - 0 self