Reasoning about sequential functions via logical relations (1991)

by K Sieber
Venue:Applications of Categories in Computer Science. Proceedings of the LMS Symposium