1946
4 works on record
Semantics of data types
Logical frameworks
Proof, language, and interaction
Logical environments