| Original language | Undefined |
|---|---|
| Pages (from-to) | - |
| Number of pages | 17 |
| Journal | Memoranda informatica |
| Issue number | 94-67 |
| Publication status | Published - 1994 |
Keywords
- METIS-121735
Usability: formalising (un)definedness in typed lambda calculus
Jan Kuper
Research output: Contribution to journal › Article › Professional