The following pages link to Vincent Danos (Q550252):
Displaying 50 items.
- Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
- Computational self-assembly (Q953541) (← links)
- How liquid is biological signalling? (Q1007238) (← links)
- The structure of multiplicatives (Q1264140) (← links)
- On the linear decoration of intuitionistic derivations (Q1345901) (← links)
- Computational isomorphisms in classical logic (Q1398471) (← links)
- Linear logic and elementary time (Q1401946) (← links)
- Reversible, irreversible and optimal \(\lambda\)-machines (Q1575873) (← links)
- Giry and the Machine (Q1744380) (← links)
- Modeling and querying biomolecular interaction networks (Q1884862) (← links)
- Formal molecular biology (Q1884864) (← links)
- Rate equations for graphs (Q2110648) (← links)
- Survival of the fattest: evolutionary trade-offs in cellular resource storage (Q2130576) (← links)
- Borel kernels and their approximation, categorically (Q2134827) (← links)
- Self-assembling graphs (Q2461296) (← links)
- Bisimulation and cocongruence for probabilistic systems (Q2495642) (← links)
- Rigid geometric constraints for Kappa models (Q2520629) (← links)
- Coarse-graining the dynamics of ideal branched polymers (Q2520630) (← links)
- Global order routing on exchange networks (Q2670843) (← links)
- (Q2753680) (← links)
- Moment Semantics for Reversible Rule-Based Systems (Q2822487) (← links)
- Thermodynamic Graph-Rewriting (Q2842121) (← links)
- (Q2844076) (← links)
- Distributed Measurement-based Quantum Computation (Q2864169) (← links)
- Pauli Measurements are Universal (Q2864170) (← links)
- Classical Knowledge for Quantum Cryptographic Reasoning (Q2864501) (← links)
- Self-assembling Trees (Q2866313) (← links)
- General Reversibility (Q2866345) (← links)
- Approximating Labelled Markov Processes Again! (Q2888484) (← links)
- Thermodynamic graph-rewriting (Q2941762) (← links)
- Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models (Q2957506) (← links)
- Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables (Q2988378) (← links)
- Pointless Learning (Q2988379) (← links)
- On the Statistical Thermodynamics of Reversible Communicating Processes (Q3090855) (← links)
- Cooperative Assembly Systems (Q3092330) (← links)
- Transformation and Refinement of Rigid Structures (Q3192233) (← links)
- Reversible Sesqui-Pushout Rewriting (Q3192234) (← links)
- (Q3300791) (← links)
- Rule-Based Modelling, Symmetries, Refinements (Q3506871) (← links)
- Rule-Based Modelling of Cellular Signalling (Q3525627) (← links)
- The measurement calculus (Q3546325) (← links)
- (Q3560842) (← links)
- The One Way to Quantum Computation (Q3591401) (← links)
- (Q3824308) (← links)
- (Q4218922) (← links)
- (Q4222826) (← links)
- (Q4222844) (← links)
- (Q4282602) (← links)
- (Q4362911) (← links)
- A new deconstructive logic: linear logic (Q4372906) (← links)
