Monotone Systems / System BV / ACTA Press / Deep Inference / COMMUTATIVE/NONCOMMUTATIVE LINEAR LOGIC BV / T HE T HEORY B EHIND BV As / /
Continent
Europe / /
Country
Netherlands / United Kingdom / /
IndustryTerm
cited web page / inference proof systems / relation web / web page http /
Organization
North Atlantic Treaty Organization / Universitat / /
Person
Michel Parigot / Luca Roversi / Michael Moortgat / Rolf H. Mohring / Ivan T. Ivanov / Gerhard Gentzen / Lutz Straßburger / Bob Coecke / Georg Moser / Richard F. Blute / Anupam Das / Tom Gundersen / Kai Brunnler / Philip Scott / Paola Bruscoli / Jean-Yves Girard / Stephane Gimenez / George Metcalfe / Richard Blute / Andrei Voronkov / Sergey Slavnov / Emil Jeˇrabek / Elaine Pimentel / Benedikt Lowe / PACE -T IME / /
Position
editor / going forward / representative / /
ProgrammingLanguage
Lambda Calculus / /
PublishedMedium
Elsevier / Electronic Notes in Theoretical Computer Science / Logical Methods in Computer Science / Theoretical Computer Science / Lecture Notes in Computer Science / /