The following pages link to (Q3023557):
Displaying 19 items.
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- Parabolic sheaves on logarithmic schemes (Q456758) (← links)
- Relativized Grothendieck topoi (Q636365) (← links)
- Model structures on exact categories (Q649856) (← links)
- Two subcategories of apartness spaces (Q651317) (← links)
- Macsyma: A personal history (Q655565) (← links)
- On the relations between monadic semantics (Q879354) (← links)
- Models for the Maclaurin tower of a simplicial functor via a derived Yoneda embedding (Q989070) (← links)
- Hom complexes and homotopy theory in the category of graphs (Q1003603) (← links)
- Harder-Narasimhan categories (Q1039771) (← links)
- Human-centered automated proof search (Q2069871) (← links)
- Quasi-apartness and neighbourhood spaces (Q2498913) (← links)
- Why Categories? (Q3296105) (← links)
- In Memoriam: Saunders Mac Lane 1909–2005 (Q3594487) (← links)
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547) (← links)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
- (Q5227518) (← links)
- Syzygies, degrees, and choices from a life in mathematics. Retiring Presidential Address (Q5423968) (← links)
- Dual axiomatics (Q6601827) (← links)
