N. P. "Nax" Mendler
| M-L Type Theory, Categories, Inductive Types |
| Nax Mendler, June 26, 1990 |
| Polymorphism Is Not Set Theoretic |
| Nax Mendler, February 14, 1990 |
Strong Normalization in Lambda2
| Nax Mendler, October 2, 1986 | |
| PP-Lambda in Nuprl |
| Nax Mendler, 1984-85 |
| Denotational Semantics |
| Nax Mendler, 1984-85 |
| Partial Recursive Functions |
| Nax Mendler, 1984-85 |