Thomas Ehrhardt (ehrhardt-t)

Contributions to Philosophie.ch

No contributions yet

Bibliography

Ehrhardt, Thomas, Girard, Jean-Yves, Ruet, Paul and Scott, Philip, eds. 2010. Linear Logic in Computer Science. Cambridge: Cambridge University Press.