Pages that link to "Item:Q5072609"
From MaRDI portal
The following pages link to Modalities and Parametric Adjoints (Q5072609):
Displaying 6 items.
- Fibrational modal type theory (Q1744413) (← links)
- (Q4012252) (← links)
- Origins of parameters in adimensional models (Q6049664) (← links)
- Strange new universes: Proof assistants and synthetic foundations (Q6130525) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
- Transpension: the right adjoint to the Pi-type (Q6563063) (← links)