BackBrowsing (1996) Volumen 11. Número 26 by Author "Barragán, Julia"
Now showing items 1-1 of 1
-
A Type-Logic Approach to Refinement
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1996)...