logic, monads and the lambda calculus (1996)

by Linear
Venue:In Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS’96