Lambda calculus with explicit recursion
| Author(s) : | Zena M. Ariola Issn -x J. W. Klop Z. M. Ariola Jan Willem Klop, |
| Publisher : | N/A |
| Publication Date : | 1997 |
| ISSN : | N/A |
| Abstract : | and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of, |