Math: Logic and Foundations: Publications: Books: Proofs and Types

Submitted: Sat Sep 06 2003
Title:

Description: By Jean-Yves Girard, Yves Lafont and Paul Taylor (CUP,1989). Full text online (DVI,PDF,PS).

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people