Constructive logics. I. A tutorial on proof systems and typed -calculi (1993)

by Jean Gallier
Venue:Theoretical Computer Science