Items where Author / Artist / Editor is "Osborn, Christopher J."
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Popescu, Andrei, Gunter, Elsa and Osborn, Christopher J. (2010) Strong normalization for System F by HOAS on top of FOAS. 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS). In: 25th Annual IEEE Symposium on Logic in Computer Science (LICS), 11-14 July 2010, Edinburgh, United Kingdom. ISBN 9781424475889. ISSN 1043-6871 [Conference or Workshop Item]
