Search alternatives:
"logicians" » "logiciels"
Cover Image
Read Now

1
Published 2004
Cambridge University Press
Table of Contents: “...Category theory for linear logicians / R. Blute and Ph. Scott -- Proof nets and the [lambda...”