Pages that link to "Item:Q5139288"
From MaRDI portal
The following pages link to Implicative algebras: a new foundation for realizability and forcing (Q5139288):
Displaying 5 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Triposes as a generalization of localic geometric morphisms (Q5084312) (← links)
- The category of implicative algebras and realizability (Q5108535) (← links)
- Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)
- On categorical structures arising from implicative algebras: from topology to assemblies (Q6145036) (← links)
