The following pages link to (Q5155672):
Displaying 6 items.
- Finitary type theories with and without contexts (Q6053849) (← links)
- (Q6068934) (← links)
- Strange new universes: Proof assistants and synthetic foundations (Q6130525) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
- Transpension: the right adjoint to the Pi-type (Q6563063) (← links)