A Coq Library / Automated Reasoning University College / Chalmers University University of Ottawa University / Chalmers University / /
IndustryTerm
deductive systems / thematic networks / /
Organization
Swedish Foundation of Strategic Research / Carnegie Mellon University / Chalmers University of Technology R¨ annv¨ / University of Ottawa University / University of Illinois / European Union / Department of Computer Science / Yale University / /
Person
Thierry Coquand Amy Felty Christoph / Amy Felty Christoph Kreitz Jose / Carsten Sch / Herman Geuvers / Frank Pfenning Randy Pollack Carsten / Carsten Sch¨urmann / Pasalic Imperative / Kevin Watkins / Dale Miller Frank Pfenning Randy / Randy Pollack Carsten Sch / Jason Reed / /
Position
Chair / Emir / /
ProgrammingLanguage
R / C / K / /
PublishedMedium
Electronic Notes in Theoretical Computer Science / /