Semantical Paradigms: Notes for an Invited Lecture (1988)

by A Meyer
Venue:In Proceedings 3rd Annual Symposium on Logic in Computer Science