//
Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

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

Browse by author | title | year | subject

Filter for: Nax P. Mendler

11 results


Seminar M-L Type Theory, Categories, Inductive Types
by Nax P. Mendler
1990 Summ

Seminar Polymorphism Is Not Set Theoretic
by Nax P. Mendler
February 14, 1990

Publication Inductive Definition in Type Theory | cite »
by Nax P. Mendler
1988

Publication Recursive Types and Type Constraints in Second-Order Lambda Calculus | cite »
by Nax P. Mendler
1987

Seminar Strong Normalization in Lambda2
by Nax P. Mendler
October 02, 1986

Publication 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

Publication Infinite Objects in Type Theory | cite »
by Nax P. Mendler, Robert L. Constable, Prakash Panangaden
1986

Publication Recursive Definitions in Type Theory | cite »
by Robert L. Constable, Nax P. Mendler
1985

Seminar Denotational Semantics
by Nax P. Mendler
1984-1985

Seminar Partial Recursive Functions
by Nax P. Mendler
1984-1985

Seminar PP-lambda in Nuprl
by Nax P. Mendler
1984-1985