Advances in linear logicMore by Jean-Yves Girard, Yves Lafont
Track this book
You choose which shelves are public. Progress and read dates stay yours.
Rating integrity
HealthyScores only count accounts older than 7 days and ratings made after publication; read-verified ratings weigh double; ratings from readers who didn’t finish are shown but not counted.
How it felt
Be the first to tag this
Reviews
No reviews yet. Sign in to write the first.
Editions
1 in Spinefolk| Format | Publisher | Year | ISBN |
|---|---|---|---|
| Hardcover | Cambridge University Press | 1989 | 9780521371810 |
Computer programmingSymbolic and mathematical LogicType theoryProof theoryCalculusLambda calculus
