The type and eect discipline (1992)

by Jean-Pierre Talpin, Pierre Jouvelot
Venue:Proceedings of the 1992 Logics in Computer Science Conference