The following pages link to (Q4842967):
Displaying 9 items.
- Modeling Martin-Löf type theory in categories (Q280835) (← links)
- Non-commutative linear logic in linguistics (Q700787) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives (Q1398470) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Grammar specification in categorial logics and theorem proving (Q4647559) (← links)
- On Canonical Embeddings of Residuated Groupoids (Q5414968) (← links)
- Proof theory in the abstract (Q5957852) (← links)
