Publication details
Normal forms in the typed lambda-calculus with tuple types.
| Authors | |
|---|---|
| Year of publication | 1985 |
| Type | Article in Periodical |
| Magazine / Source | Kybernetika |
| Citation |
| Authors | |
|---|---|
| Year of publication | 1985 |
| Type | Article in Periodical |
| Magazine / Source | Kybernetika |
| Citation |