Pages that link to "Item:Q3007652"
From MaRDI portal
The following pages link to A Survey of Classical Realizability (Q3007652):
Displaying 10 items.
- Classical realizability in the CPS target language (Q1744381) (← links)
- Quantitative classical realizability (Q2343127) (← links)
- A semantics of realisability for the classical propositional natural deduction (Q2851691) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model (Q5043591) (← links)
- Classical and Relative Realizability (Q5739945) (← links)
- Realizability: a historical essay (Q5894815) (← links)
- Zeta functions and the (linear) logic of Markov processes (Q6597969) (← links)
- A quick overview on the quantum control approach to the lambda calculus (Q6661148) (← links)