Yves LaFont

2 books

Advances in Linear Logic by

Advances in Linear Logic

London Mathematical Society Lecture Note

400 pages • missing pub info (editions)

nonfiction mathematics science medium-paced
Proofs and Types by Yves LaFont, Jean-Yves Girard, Paul Taylor

Proofs and Types

Yves LaFont, Jean-Yves Girard, Paul Taylor

192 pages • first pub 1989 (editions)

fiction mathematics informative reflective medium-paced