#
Knowledge Base of

Publications,
Seminars,
& Math Library

PhD theses from the project are accessible at the NCSTRL web site.

## Filter for: Nax P. Mendler

11 results

*
M-L Type Theory, Categories, Inductive Types *

by Nax P. Mendler

1990 Summ

*
Polymorphism Is Not Set Theoretic *

by Nax P. Mendler

February 14, 1990

*
Inductive Definition in Type Theory *
| cite »

by Nax P. Mendler

1988

*
Recursive Types and Type Constraints in Second-Order Lambda Calculus *
| cite »

by Nax P. Mendler

1987

*
Strong Normalization in Lambda ^{2} *

by Nax P. Mendler

October 02, 1986

*
Implementing Mathematics with the Nuprl Development System *
| cite »

by Robert L. Constable, Stuart F. Allen, H. M. Bromley, Walter Rance Cleaveland, J. F. Cremer, Robert W. Harper, Douglas J. Howe, Todd B. Knoblock, Nax P. Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith

1986

*
Infinite Objects in Type Theory *
| cite »

by Nax P. Mendler, Robert L. Constable, Prakash Panangaden

1986

*
Recursive Definitions in Type Theory *
| cite »

by Robert L. Constable, Nax P. Mendler

1985

*
Denotational Semantics *

by Nax P. Mendler

1984-1985

*
Partial Recursive Functions *

by Nax P. Mendler

1984-1985

*
PP-lambda in Nuprl *

by Nax P. Mendler

1984-1985