AtomSeek the directory or science  

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


  Home: Math: Logic and Foundations: Publications: Books:
Submitted: Sat Sep 06 2003
Title:

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


URL: http://www.dcs.qmul.ac.uk/%7Ept/stable/Proofs+Types.html

 

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


Detailed Traffic Statistic From Alexa
Detailed Traffic Statistic From Alexa

 
     Next

  HOME | ADD A LINK | MODIFY A LINK | LOGIN


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


atomseek.com
Webmaster - miroweb.com