The following pages link to Proof theory in the abstract (Q5957852):
Displaying 20 items.
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- Cartesian closed Dialectica categories (Q998318) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- Polycategories via pseudo-distributive laws (Q2427570) (← links)
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- Dwyer–Kan homotopy theory for cyclic operads (Q4993989) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)
- On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)
- Functional Interpretations of Intuitionistic Linear Logic (Q5902221) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
- On rectification and enrichment of infinity properads (Q6176333) (← links)
- \(\ast\)-autonomous envelopes and conservativity (Q6657790) (← links)
