Linear logic in computer science
This book illustrates linear logic in the application of proof theory to computer science.
Komentáře
Přihlas se, abys mohl/a přidat komentář.
Zatím žádné komentáře. Buď první!