A type theoretical alternative to CUCH (1993)

by Dana Scott
Venue:Oxford University