The following pages link to (Q4281466):
Displayed 16 items.
- Categories for computation in context and unified logic (Q678833) (← links)
- Type inference for light affine logic via constraints on words (Q703485) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Synthetic domain theory and models of linear Abadi {\&} Plotkin logic (Q952487) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- New Curry-Howard terms for full linear logic (Q1390952) (← links)
- A general adequacy result for a linear functional language (Q1391860) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- A new framework for declarative programming (Q1399960) (← links)
- A linear logical framework (Q1400718) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Weak linearization of the lambda calculus (Q2566028) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- Two applications of analytic functors (Q5958294) (← links)