Sign in
Join Literal
Authors
Author
Thomas Ehrhard
Books
Linear Logic in Computer Science
Philip Scott, Jean-Yves Girard, Thomas Ehrhard, Paul Ruet