Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)

Computer

by Thomas Ehrhard

Paperback

ISBN: 978-0-521-60857-2

ISBN-10: 0-521-60857-0

Cambridge University Press · 2004