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

by Jean Gallier
Citations:60 - 2 self