James Laird

Jim Laird

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
j11		Jim Laird, Giulio Manzonetto, Guy McCusker: Constructing differential categories and deconstructing categories of games. Inf. Comput. 222: 247-264 (2013)
	2011
c23		Jim Laird, Giulio Manzonetto, Guy McCusker: Constructing Differential Categories and Deconstructing Categories of Games. ICALP (2) 2011: 186-197
c22		Martin Churchill, James Laird, Guy McCusker: Imperative Programs as Proofs via Game Semantics. LICS 2011: 65-74
	2010
c21		Martin Churchill, James Laird: A Logic of Sequentiality. CSL 2010: 215-229
c20		James Laird: Game Semantics for Call-by-Value Polymorphism. ICALP (2) 2010: 187-198
c19		James Laird: Game Semantics for a Polymorphic Programming Language. LICS 2010: 41-49
i2		Martin Churchill, James Laird, Guy McCusker: A Concrete Representation of Observational Equivalence for PCF. CoRR abs/1003.0107 (2010)
	2009
c18		James Laird: Nondeterminism and Observable Sequentiality. CSL 2009: 379-393
	2008
j10		James Laird: A game semantics of names and pointers. Ann. Pure Appl. Logic 151(2-3): 151-169 (2008)
j9		James Laird: Decidability and syntactic control of interference. Theor. Comput. Sci. 394(1-2): 64-83 (2008)
	2007
j8		James Laird: Sequentiality and the CPS Semantics of Fresh Names. Electr. Notes Theor. Comput. Sci. 173: 203-219 (2007)
j7		James Laird: On the Expressiveness of Affine Programs with Non-local Control: The Elimination of Nesting in SPCF. Fundam. Inform. 77(4): 511-531 (2007)
j6		James Laird: Bistable Biorders: A Sequential Domain Theory. Logical Methods in Computer Science 3(2) (2007)
c17		James Laird: A Fully Abstract Trace Semantics for General References. ICALP 2007: 667-679
i1		James Laird: Bistable Biorders: A Sequential Domain Theory. CoRR abs/cs/0702169 (2007)
	2006
c16		James Laird: Bidomains and Full Abstraction for Countable Nondeterminism. FoSSaCS 2006: 352-366
c15		James Laird: Game Semantics for Higher-Order Concurrency. FSTTCS 2006: 417-428
	2005
j5		Jim Laird: Sequentiality in Bounded Biorders. Fundam. Inform. 65(1-2): 173-191 (2005)
j4		Jim Laird: Game semantics and linear CPS interpretation. Theor. Comput. Sci. 333(1-2): 199-224 (2005)
j3		James Laird: Locally Boolean domains. Theor. Comput. Sci. 342(1): 132-148 (2005)
c14		Jim Laird: A Game Semantics of the Asynchronous pi-Calculus. CONCUR 2005: 51-65
c13		James Laird: A game semantics of the asynchronous pi-calculus and its dual. GALOP 2005: 32-47
c12		James Laird: Decidability in Syntactic Control of Interference. ICALP 2005: 904-916
c11		James Laird: The Elimination of Nesting in SPCF. TLCA 2005: 234-245
	2004
c10		James Laird: A Game Semantics of Local Names and Good Variables. FoSSaCS 2004: 289-303
c9		James Laird: A Calculus of Coroutines. ICALP 2004: 882-893
	2003
c8		James Laird: Bistability: An Extensional Characterization of Sequentiality. CSL 2003: 372-383
c7		James Laird: A Game Semantics of Linearly Used Continuations. FoSSaCS 2003: 313-327
c6		James Laird: A Fully Abstract Bidomain Model of Unary FPC. TLCA 2003: 211-225
	2002
j2		James Laird: A Categorical Semantics of Higher Order Store. Electr. Notes Theor. Comput. Sci. 69: 209-226 (2002)
c5		James Laird: Exceptions, Continuations and Macro-expressiveness. ESOP 2002: 133-146
	2001
j1		James Laird: A Game Semantics of Idealized CSP. Electr. Notes Theor. Comput. Sci. 45: 232-257 (2001)
c4		James Laird: A Fully Abstract Game Semantics of Local Exceptions. LICS 2001: 105-114
c3		James Laird: A Deconstruction of Non-deterministic Classical Cut Elimination. TLCA 2001: 268-282
	2000
c2		James Laird: Finite Models and Full Completeness. CSL 2000: 384-398
	1997
c1		James Laird: Full Abstraction for Functional Languages with Control. LICS 1997: 58-67

Coauthor Index

1	Martin Churchill	[c22] [c21] [i2]
2	Giulio Manzonetto	[j11] [c23]
3	Guy McCusker	[j11] [c23] [c22] [i2]

Last update Thu May 23 00:48:37 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page