Implicative formulae in the state-as-proposition analogy (1990)

by A Asperti, R Gorrieri, G Ferrari
Venue:Conference on Principles of Programming Languages