Constructive Logics. Part I: A Tutorial on Proof Systems and Typed λ-Calculi (1992)

by Jean Gallier
Citations:61 - 3 self