Pages that link to "Item:Q2747705"
From MaRDI portal
The following pages link to Free ordered algebraic structures towards proof theory (Q2747705):
Displaying 5 items.
- Free algebras corresponding to multiplicative classical linear logic and some of its extensions (Q1924328) (← links)
- (Q4861177) (← links)
- AN AXIOMATIC APPROACH TO FREE AMALGAMATION (Q4977224) (← links)
- From Proof Nets to the Free *-Autonomous Category (Q5310668) (← links)
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)