Constable et al., Implementing (1986)

by R L
Venue:Mathematics with the Nuprl Proof Development System (Prentice-Hall