The following pages link to (Q4222841):
Displaying 4 items.
- Phase semantics and decidability of elementary affine logic (Q596037) (← links)
- Towards a semantic characterization of cut-elimination (Q817704) (← links)
- Phase semantics for light linear logic (Q1398478) (← links)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
