Informace o publikaci
Normal forms in the typed lambda-calculus with tuple types.
| Autoři | |
|---|---|
| Rok publikování | 1985 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Kybernetika |
| Citace |
| Autoři | |
|---|---|
| Rok publikování | 1985 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Kybernetika |
| Citace |