Found 1 document(s)
Page 1 of 1
-
Deals with the mathematical background of the application to computer science of aspects of logic on typed lambda calculus (namely the correspondence between propositions and types). Treats both the traditional logic mat...
