Nax Paul Mendler

According to our database, Nax Paul Mendler authored at least 8 papers between 1985 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

A Logical View of Concurrent Constraint Programming.

Nax Paul Mendler, Prakash Panangaden, Philip J. Scott, Robert A. G. Seely

Nord. J. Comput., 1995

1991

Inductive Types and Type Constraints in the Second-Order lambda Calculus.

Nax Paul Mendler

Ann. Pure Appl. Log., 1991

Predicative Type Universes and Primitive Recursion

Nax Paul Mendler

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

1989

A Final Coalgebra Theorem.

Peter Aczel, Nax Paul Mendler

Proceedings of the Category Theory and Computer Science, 1989

1987

Recursive Types and Type Constraints in Second-Order Lambda Calculus

Nax Paul Mendler

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

Infinite Objects in Type Theory

Nax Paul Mendler, Prakash Panangaden, Robert L. Constable

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

Implementing mathematics with the Nuprl proof development system.

Robert L. Constable, Stuart F. Allen, Mark Bromley, Rance Cleaveland, J. F. Cremer, Robert Harper, Douglas J. Howe, Todd B. Knoblock, Nax Paul Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith

Prentice Hall, ISBN: 978-0-13-451832-9, 1986

1985

Recursive Definitions in Type Theory.

Robert L. Constable, Nax Paul Mendler

Proceedings of the Logics of Programs, 1985