People
Events
Research
Home
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
Previous
|
Index
|
Next