The following pages link to Computer Science Logic (Q5311259):
Displaying 6 items.
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- Ordinals in Frobenius monads (Q2376533) (← links)
- Propositional Interpolation and Abstract Interpretation (Q3558223) (← links)
- (Q4370352) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)