The following pages link to Samson Abramsky (Q320191):
Displaying 50 items.
- Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract) (Q3608397) (← links)
- (Q3711740) (← links)
- (Q3729991) (← links)
- (Q4218919) (← links)
- (Q4222822) (← links)
- (Q4225147) (← links)
- (Q4256645) (← links)
- (Q4263830) (← links)
- Quantales, observational logic and process semantics (Q4279244) (← links)
- Games and full completeness for multiplicative linear logic (Q4302352) (← links)
- (Q4364392) (← links)
- (Q4417848) (← links)
- Sequentiality vs. concurrency in games and logic (Q4461213) (← links)
- (Q4490717) (← links)
- (Q4499139) (← links)
- (Q4536349) (← links)
- A complete characterization of all-versus-nothing arguments for stabilizer states (Q4560686) (← links)
- (Q4637983) (← links)
- Heterotic Computing Examples with Optics, Bacteria, and Chemicals (Q4648205) (← links)
- Abstract Physical Traces (Q4680358) (← links)
- (Q4783324) (← links)
- Geometry of Interaction and linear combinatory algebras (Q4792973) (← links)
- (Q4823132) (← links)
- (Q4870803) (← links)
- (Q4885871) (← links)
- (Q4967168) (← links)
- The Cohomology of Non-Locality and Contextuality (Q4986174) (← links)
- Dynamic game semantics (Q4988428) (← links)
- Non-locality, contextuality and valuation algebras: a general theory of disagreement (Q4993413) (← links)
- (Q4997264) (← links)
- (Q4997265) (← links)
- (Q5015183) (← links)
- Structure and Power: an Emerging Landscape (Q5038563) (← links)
- Contextuality: At the Borders of Paradox (Q5040174) (← links)
- Relating Structure and Power: Comonadic Semantics for Computational Resources (Q5079721) (← links)
- (Q5111249) (← links)
- Classical Logic, Classical Probability, and Quantum Mechanics (Q5119653) (← links)
- The sheaf-theoretic structure of non-locality and contextuality (Q5135226) (← links)
- (Q5144676) (← links)
- Logic and Geometry of Agents in Agent-Based Modeling (Q5150306) (← links)
- Relating structure and power: Comonadic semantics for computational resources (Q5158366) (← links)
- Arrow’s Theorem by Arrow Theory (Q5213559) (← links)
- Intensionality, Definability and Computation (Q5249668) (← links)
- What are the Fundamental Structures of Concurrency? (Q5262949) (← links)
- Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting (Q5269005) (← links)
- Contextuality, Cohomology and Paradox (Q5351959) (← links)
- Semantic Unification (Q5414954) (← links)
- An Operational Interpretation of Negative Probabilities and No-Signalling Models (Q5418955) (← links)
- Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics (Q5448359) (← links)
- A categorical quantum logic (Q5482271) (← links)
