Content deleted Content added
→Test-of-Time Award: added 2012, 2011 awards |
→Test-of-Time Award: added 2010, 2009 awards, fixed some name links |
||
Line 15:
==== 2014 ====
*[[Martin Hofmann]], [[Thomas Streicher]], "The groupoid model refutes uniqueness of identity proofs"
*[[Dale A. Miller]], "A multiple-conclusion meta-logic"
==== 2013 ====
*[[Leo Bachmair]], [[Harald Ganzinger]], [[Uwe Waldmann]], "Set constraints are the monadic class"
*[[André Joyal]], [[Mogens Nielson]], [[Glynn Winskel]], "Bisimulation and open maps"
*[[Benjamin C. Pierce]], [[Davide Sangiorgi]], "Typing and subtyping for mobile processes"
==== 2012 ====
Line 30:
*[[Joshua Hodas]], [[Dale Miller]], "Logic programming in a fragment of intuitionistic linear logic"
*[[Dexter Kozen]], "A completeness theorem for Kleene algebras and the algebra of regular events"
==== 2010 ====
*[[Rajeev Alur ]], [[Costas Courcoubetis]], [[David L. Dill]], "Model-checking for real-time systems"
*[[Jerry Burch]], [[Edmund Clarke]], [[Kenneth McMillan]], [[David L. Dill]], [[James Hwang]], "Symbolic model checking: 10^20 states and beyond"
*[[Max Dauchet]], [[Sophie Tison]], "The theory of ground rewrite systems is decidable"
*[[Peter Freyd]], "Recursive types reduced to inductive types"
==== 2009 ====
*[[Eugenio Moggi]], "Computational lambda-calculus and monads"
=== Kleene award ===
| |||