A type theoretical alternative to (1969)

by Dana Scott
Venue:Oxford University