Pages that link to "Item:Q5410238"
From MaRDI portal
The following pages link to Krivine's classical realisability from a categorical perspective (Q5410238):
Displaying 7 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Ordered combinatory algebras and realizability (Q2973254) (← links)
- A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
- Realizability in ordered combinatory algebras with adjunction (Q4623132) (← links)
- The category of implicative algebras and realizability (Q5108535) (← links)
- Implicative algebras: a new foundation for realizability and forcing (Q5139288) (← links)
- On categorical structures arising from implicative algebras: from topology to assemblies (Q6145036) (← links)