Filter
Søkt på: Søkeresultat
Filter
1 treff
Linear Logic in Computer Science
pocket,
2004,
Engelsk,
ISBN 9780521608572
Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical …