Geometry of interaction. V: Logic in the hyperfinite factor
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4179372 (Why is no real title available?)
- scientific article; zbMATH DE number 4099289 (Why is no real title available?)
- scientific article; zbMATH DE number 4123722 (Why is no real title available?)
- scientific article; zbMATH DE number 1074568 (Why is no real title available?)
- scientific article; zbMATH DE number 786500 (Why is no real title available?)
- scientific article; zbMATH DE number 936297 (Why is no real title available?)
- scientific article; zbMATH DE number 5038458 (Why is no real title available?)
- Determinant theory in finite factors
- Locus solum: From the rules of logic to the logic of rules.
Cited in
(20)- Logarithmic space and permutations
- A game-semantic model of computation
- Interaction graphs: multiplicatives
- Rule-following and the limits of formalization: Wittgenstein's considerations through the lens of logic
- Interaction graphs: additives
- Zeta functions and the (linear) logic of Markov processes
- scientific article; zbMATH DE number 785046 (Why is no real title available?)
- Semantics for a lambda calculus for string diagrams
- Normativity in logic
- Dynamic game semantics
- A correspondence between maximal abelian sub-algebras and linear logic fragments
- A \(\mathsf{MALL}\) geometry of interaction based on indexed linear logic
- Interaction graphs: graphings
- Transcendental syntax I: deterministic case
- Partially traced categories
- Characterizingco-NLby a group action
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
- Coherent interaction graphs
- scientific article; zbMATH DE number 6917940 (Why is no real title available?)
- Unary resolution: characterizing \textsc{Ptime}
This page was built for publication: Geometry of interaction. V: Logic in the hyperfinite factor
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q534694)
