tonightbooks
Sign in
Advances in linear logic
en

Advances in linear logic

Jean-Yves Girard · 1995

394 pages · ~10h read

philosophy · science

Linear Logic in Computer Science
en

Linear Logic in Computer Science

Jean-Yves Girard · 2004

387 pages · ~10h read

philosophy · science