1953
3 works on record
Meaning and partiality
1995
Computing meaning
Games, logic, and constructive sets