The following pages link to (Q5111322):
Displaying 7 items.
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- (Q5111322) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← 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)
