Publication | Date of Publication | Type |
---|
Arboreal categories and equi-resource homomorphism preservation theorems | 2024-04-04 | Paper |
State-independent all-versus-nothing arguments | 2023-11-18 | Paper |
Arboreal Categories: An Axiomatic Theory of Resources | 2023-08-26 | Paper |
Retracing some paths in process algebra | 2023-06-28 | Paper |
A generalized Kahn Principle for abstract asynchronous networks | 2023-04-12 | Paper |
Discrete density comonads and graph parameters | 2022-12-07 | Paper |
Contextuality: At the Borders of Paradox | 2022-10-11 | Paper |
Structure and Power: an Emerging Landscape | 2022-10-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q5079721 | 2022-05-28 | Paper |
Discrete density comonads and graph parameters | 2022-05-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q5015183 | 2021-12-06 | Paper |
Relating structure and power: Comonadic semantics for computational resources | 2021-10-21 | Paper |
Comonadic semantics for hybrid logic and bounded fragments | 2021-10-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4997264 | 2021-06-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4997265 | 2021-06-29 | Paper |
Non-locality, contextuality and valuation algebras: a general theory of disagreement | 2021-06-15 | Paper |
Dynamic game semantics | 2021-05-14 | Paper |
The Cohomology of Non-Locality and Contextuality | 2021-04-27 | Paper |
Logic and Geometry of Agents in Agent-Based Modeling | 2021-02-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q5144676 | 2021-01-19 | Paper |
The sheaf-theoretic structure of non-locality and contextuality | 2020-11-19 | Paper |
The logic of contextuality | 2020-11-05 | Paper |
Relating Structure and Power: Extended Version | 2020-10-13 | Paper |
Classical Logic, Classical Probability, and Quantum Mechanics | 2020-08-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q5111249 | 2020-05-26 | Paper |
Arrow’s Theorem by Arrow Theory | 2020-02-03 | Paper |
Whither semantics? | 2020-01-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4967168 | 2019-07-03 | Paper |
A complete characterization of all-versus-nothing arguments for stabilizer states | 2018-12-12 | Paper |
Relating structure and power: comonadic semantics for computational resources (extended abstract) | 2018-10-23 | Paper |
Relational databases and Bell's theorem | 2018-10-18 | Paper |
Game semantics for dependent types | 2018-06-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4637983 | 2018-05-03 | Paper |
Contextuality, Cohomology and Paradox | 2017-08-31 | Paper |
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting | 2017-06-14 | Paper |
Operational theories and Categorical quantum mechanics | 2016-12-20 | Paper |
Possibilities determine the combinatorial structure of probability polytopes | 2016-11-01 | Paper |
Hardy is (almost) everywhere: nonlocality without inequalities for almost all entangled multipartite states | 2016-10-06 | Paper |
Robin Milner's Work on Concurrency | 2016-07-08 | Paper |
Game Semantics for Access Control | 2016-05-10 | Paper |
Games for Dependent Types | 2015-11-04 | Paper |
What are the Fundamental Structures of Concurrency? | 2015-07-10 | Paper |
Intensionality, Definability and Computation | 2015-05-11 | Paper |
From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference | 2015-04-28 | Paper |
Events in context | 2014-07-25 | Paper |
An Operational Interpretation of Negative Probabilities and No-Signalling Models | 2014-06-02 | Paper |
Semantic Unification | 2014-05-08 | Paper |
Event Domains, Stable Functions and Proof-Nets | 2013-12-06 | Paper |
Big toy models. Representing physical systems as Chu spaces | 2013-11-25 | Paper |
Categorical quantum mechanics | 2013-10-04 | Paper |
Logic and Categories As Tools For Building Theories | 2013-10-04 | Paper |
Physical Traces | 2013-08-16 | Paper |
Coalgebras, Chu spaces, and representations of physical systems | 2013-08-09 | Paper |
Relational hidden variables and non-locality | 2013-06-13 | Paper |
Heterotic Computing Examples with Optics, Bacteria, and Chemicals | 2012-11-08 | Paper |
H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics | 2012-10-01 | Paper |
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference | 2012-09-20 | Paper |
A Generalized Kahn Principle for Abstract Asynchronous Networks | 2011-12-02 | Paper |
A Cook's Tour of the Finitary Non-Well-Founded Sets | 2011-06-21 | Paper |
Introduction to Categories and Categorical Logic | 2011-05-31 | Paper |
From CSP to Game Semantics | 2010-10-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3574464 | 2010-07-09 | Paper |
No-Cloning In Categorical Quantum Mechanics | 2010-05-14 | Paper |
From IF to BI. A tale of dependence and separation | 2009-08-11 | Paper |
Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract) | 2009-03-05 | Paper |
Petri Nets, Discrete Physics, and Distributed Quantum Computation | 2008-06-19 | Paper |
Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics | 2008-03-20 | Paper |
Static Analysis | 2006-10-31 | Paper |
Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
A categorical quantum logic | 2006-08-28 | Paper |
A structural approach to reversible computation | 2006-01-10 | Paper |
Linear realizability and full completeness for typed lambda-calculi | 2005-06-23 | Paper |
Abstract Physical Traces | 2005-06-01 | Paper |
A game semantics for generic polymorphism | 2005-04-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4823132 | 2004-10-26 | Paper |
Sequentiality vs. concurrency in games and logic | 2004-03-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4417848 | 2003-07-30 | Paper |
Geometry of Interaction and linear combinatory algebras | 2003-03-13 | Paper |
Full abstraction for PCF | 2003-01-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4783324 | 2002-12-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4536349 | 2002-11-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q2753670 | 2001-11-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2752053 | 2001-10-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4263830 | 2001-05-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4499139 | 2001-03-06 | Paper |
Full abstraction for idealized Algol with passive expressions | 2000-08-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4490717 | 2000-07-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4885871 | 2000-04-26 | Paper |
Nuclear and trace ideals in tensored \(^*\)-categories | 2000-02-15 | Paper |
A specification structure for deadlock-freedom of synchronous processes | 2000-01-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4256645 | 1999-08-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q4225147 | 1999-05-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4222822 | 1998-12-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4218919 | 1998-11-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4364392 | 1997-11-17 | Paper |
Proofs as processes | 1996-07-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4870803 | 1996-07-01 | Paper |
An internal language for autonomous categories | 1995-02-16 | Paper |
Games and full completeness for multiplicative linear logic | 1994-08-15 | Paper |
New foundations for the geometry of interaction | 1994-07-18 | Paper |
Computational interpretations of linear logic | 1994-07-07 | Paper |
Quantales, observational logic and process semantics | 1994-06-14 | Paper |
Domain theory in logical form | 1992-06-25 | Paper |
A domain equation for bisimulation | 1991-01-01 | Paper |
Abstract Interpretation, Logical Relations, and Kan Extensions | 1990-01-01 | Paper |
Mixed computation of Prolog programs | 1988-01-01 | Paper |
Observation equivalence as a testing equivalence | 1987-01-01 | Paper |
Strictness analysis for higher-order functions | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3026333 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3729991 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3325069 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3711740 | 1983-01-01 | Paper |