کتاب های Thomas Ehrhard
درباره نویسنده


Linear logic in computer science
Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott, 2004
Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings
Thomas Ehrhard, 1991
Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings
Thomas Ehrhard, 1991