Full Abstraction and Universality via Realisability (1999)

Cached

Download Links

by Michael Marz , Alexander Rohr , Thomas Streicher , D- Darmstadt
Citations:4 - 0 self