The following pages link to (Q5155672):
Displayed 6 items.
- Finitary type theories with and without contexts (Q6053849) (← links)
- (Q6068934) (← links)
- When programs have to watch paint dry (Q6070787) (← 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)