Full abstraction and universality via realisability (1999)

by M Marz, A Rohr, T Streicher
Venue:In 14th Symposium on Logic in Computer Science July 02 - 05