Revision as of 11:51, 17 July 2020 edit Dale A Miller (talk \| contribs) 34 edits →Test-of-Time Award ← Previous edit		Revision as of 11:53, 17 July 2020 edit undo Dale A Miller (talk \| contribs) 34 edits →2007 Next edit →
Line 75: ==== 2007 ==== [[Samson Abramsky]], "Domain theory in Logical Form" [[Robert Harper]], [[Furio Honsell]], [[Gordon D. Plotkin]], "A Framework for Defining Logics" === Kleene award ===

Symposium on Logic in Computer Science: Difference between revisions