Polyvariant analysis of the untyped lambda calculus
Edición de la obra Polyvariant analysis of the untyped lambda calculus
| Autor | Jens Palsberg |
|---|---|
| Editorial | Computer Science Department, Aarhus University |
| Fecha de publicación | 1992 |
| Lugar | Aarhus, Denmark |
| Idioma | inglés |
| Serie | DAIMI PB -- 386 |
| Número de Cutter | P182p |