A Fully Abstract Encoding of the

Michael Baldamus, Joachim Parrow, Bjrn Victor

Browse the full ICALP paper archive.