J. Gallier. Constructive Logics. Part 1: A Tutorial on Proof Systems and Typed Lambda Calculi. Research Report Digital Paris Research Laboratory, No 0, May 1991.
[ Typetheory ]
@TechReport{gallier91a,
Author = {Gallier, J.},
Title = {Constructive Logics. Part 1: A Tutorial on Proof Systems and Typed Lambda Calculi},
Number = {0},
Institution = {Digital Paris Research Laboratory},
Month = {May},
Year = {1991}
}
Get EndNote Reference (.ref)