An Ideal Model for an Extended Lambda-Calculus with Refinement
J. Levy, J. Agusti, F. Esteva, P. Garcia
No abstract available.
LFCS report ECS-LFCS-91-188
Unless explicitly stated otherwise all material
is copyright © The University of Edinburgh
Comments and corrections to:
Last modified: Tuesday 29 July 2008