Pages that link to "Item:Q5704013"
From MaRDI portal
The following pages link to Typed Lambda Calculi and Applications (Q5704013):
Displayed 8 items.
- Classical proof forestry (Q636369) (← links)
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs (Q964500) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- (Q5111329) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Combinatorial flows as bicolored atomic flows (Q6103000) (← links)