rafaeldff + paultaylor   2

Proofs and Types
Jean-Yves Girard, Yves Lafont and Paul Taylor online book covering intuitionistic logic, Gentzen,Brouwer,Heyting,Godel & CHI
intuitionistic  logic  Gentzen  Brouwer  Heyting  Godel  CHI  Girard  Jean-YvesGirard  YvesLafont  PaulTaylor  IntuitionisticLogic  CurryHoward  CurryHowardIsomorphism  isomorphism  types  TypeSystem  TypeTheory  typing  system  LambdaCalculus 
september 2012 by rafaeldff
Practical Foundations of Mathematics
Full-version (html) of a book covering logic, set theory, category theory, etc
PaulTaylor  book  online  mathematics  math  proof  formal  formalism  logic  set  theory  SetTheory  free  systems  system  foundations  category  CategoryTheory  Cambridge. 
june 2006 by rafaeldff

Copy this bookmark:



description:


tags: