Back to Results
First PageMeta Content
Theoretical computer science / Category theory / Homotopy type theory / Type theory / Algebraic structures / Groupoid / IEEE Symposium on Logic in Computer Science / Logic programming / Frank Pfenning / Homotopy theory / Mathematics / Abstract algebra


Citations for the Test-of-Time Award from 1994 Awards Committee: Tierry Coquand Dexter Kozen (chair) Leonid Libkin Frank Pfenning
Add to Reading List

Document Date: 2014-07-13 10:46:56

Open Document

File Size: 48,03 KB

Share Result on Facebook

City

Paris / /

Country

France / /

IndustryTerm

formal systems / concurrent systems / /

Organization

Awards Committee / /

Person

Tierry Coquand Dexter Kozen / Thomas Streicher / Martin Hofmann / Leonid Libkin Frank Pfenning / Jean-Yves Girard / Dale Miller / /

Position

chair / /

SocialTag