NuPRL as a General Logic (1990)

by R Constable, D Howe
Venue:Logic and Computation