Logic and Foundations Publications in the Best of the Web Directory

Logic and Foundations Publications

Proofs and Types

By Jean-Yves Girard, Yves Lafont and Paul Taylor. Available in pdf, dvi, or postscript.

Submit a site to this category