Revision as of 18:40, 23 September 2020 edit RJFJR (talk \| contribs) Administrators 166,735 edits →LICS Awards: rev order so chrono ← Previous edit		Revision as of 05:53, 30 September 2020 edit undo Cnwilliams (talk \| contribs) Extended confirmed users 105,137 edits m Disambiguated: Robert Harper → Robert Harper (computer scientist) Next edit →
Line 23: ==== 2007 ==== [[Samson Abramsky]], "Domain theory in Logical Form" [[Robert Harper (computer scientist)\|Robert Harper]], [[Furio Honsell]], [[Gordon D. Plotkin]], "A Framework for Defining Logics" ==== 2008 ====

Symposium on Logic in Computer Science: Difference between revisions