The following pages link to Daniel Gratzer (Q5072608):
Displayed 10 items.
- Modalities and Parametric Adjoints (Q5072609) (← links)
- (Q5089034) (← links)
- (Q5094128) (← links)
- Multimodal Dependent Type Theory (Q5145658) (← links)
- (Q5155672) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
- Cubical Syntax for Reflection-Free Extensional Equality (Q6317399) (← links)
- A Cubical Language for Bishop Sets (Q6336032) (← links)
- The directed plump ordering (Q6391171) (← links)
- Strict universes for Grothendieck topoi (Q6392034) (← links)