Monad as modality (1997)

by S Kobayashi
Venue:Theoretical Computer Science