Jim Lipton
Can we Compile the Prolog Program to a Type?
| Jim Lipton, November 12, 1991 | |
| Plotkin |
| Jim Lipton, March 13, 1990 |
| Intuitionistic ZF |
| Jim Lipton, January 30, 1990 |
Need Topic
| Jim Lipton, March 12, 1987 | |
IZF and Recursive Realizability
| Jim Lipton, March 5, 1987 | |