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