9: Constructive Logics (1991)

by Jean Gallier
Venue:Part II: Linear Logic and Proof