Pages that link to "Item:Q2947464"
From MaRDI portal
The following pages link to Proof-Theoretic Aspects of the Lambek-Grishin Calculus (Q2947464):
Displaying 7 items.
- A self-contained provability calculus for \(\varGamma_0\) (Q2303588) (← links)
- Polarized Montagovian Semantics for the Lambek-Grishin Calculus (Q3167297) (← links)
- DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS (Q3389495) (← links)
- Extraction in the Lambek-Grishin Calculus (Q3582677) (← links)
- TLA + Proofs (Q4647839) (← links)
- (Q5416219) (← links)
- On the proof theory of Coquand's calculus of constructions (Q5961667) (← links)