The following pages link to James Laird (Q2200838):
Displayed 22 items.
- A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus (Q2200839) (← links)
- Weighted models for higher-order computation (Q2216134) (← links)
- (Q2778826) (← links)
- Game Semantics for Bounded Polymorphism (Q2811332) (← links)
- From Qualitative to Quantitative Semantics (Q2988359) (← links)
- A Logic of Sequentiality (Q3586044) (← links)
- Game Semantics for Call-by-Value Polymorphism (Q3587438) (← links)
- (Q3593502) (← links)
- Nondeterminism and Observable Sequentiality (Q3644761) (← links)
- (Q4417867) (← links)
- (Q4580209) (← links)
- (Q4738351) (← links)
- (Q4957793) (← links)
- (Q5028431) (← links)
- (Q5079748) (← links)
- Polymorphic Game Semantics for Dynamic Binding (Q5278413) (← links)
- Computer Science Logic (Q5292651) (← links)
- Foundations of Software Science and Computation Structures (Q5308457) (← links)
- Bistable Biorders: A Sequential Domain Theory (Q5310690) (← links)
- Weighted Relational Models for Mobility (Q5369489) (← links)
- A Fully Abstract Trace Semantics for General References (Q5428848) (← links)
- Foundations of Software Science and Computation Structures (Q5899099) (← links)