Title: Applications of intensional logic to program semantics
First published: 1990
Subjects: Logic programming, Semantics, Programming languages (Electronic computers)