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: Jim Lipton

6 results


Seminar Can we Compile the Prolog Program to a Type?
by Jim Lipton
November 12, 1991

Seminar Plotkin
by Jim Lipton
March 13, 1990

Seminar Logical Relations
by Jim Lipton
March 06, 1990

Seminar Intuitionistic ZF
by Jim Lipton
January 30, 1990

Seminar Realizabiity for IZF
by Jim Lipton
March 12, 1987

Seminar IZF and Recursive Realizability
by Jim Lipton
March 05, 1987