Knowledge Base of
Publications, Seminars, & Math Library

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²
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