Items for Laird, James David

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 4.

Article

Laird, James (2006) A calculus of coroutines. Theoretical Computer Science, 350 (2-3). pp. 275-291. ISSN 03043975

Laird, J (2005) Locally Boolean domains. Theoretical Computer Science, 342 (1). pp. 132-148. ISSN 03043975

Laird, James (2005) Game semantics and Linear CPS interpretation. Theoretical Computer Science, 333. pp. 199-224. ISSN 03043975

Conference or Workshop Item

Laird, James (2001) A fully abstract game semantics of local exceptions. In: LICS Conference 2001.

This list was generated on Mon Mar 27 17:54:16 2017 BST.