The following pages link to (Q4457451):
Displayed 4 items.
- Phase semantics and decidability of elementary affine logic (Q596037) (← links)
- Type inference for light affine logic via constraints on words (Q703485) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- (Optimal) duplication is not elementary recursive (Q1881231) (← links)