1. A correspondence between maximal abelian sub-algebras and linear logic fragments. (28th July 2016) Authors: SEILLER, THOMAS Journal: Mathematical structures in computer science Issue: Volume 28:Number 1(2018) Page Start: 77 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Characterizing co-NL by a group action. (5th December 2014) Authors: AUBERT, CLÉMENT; SEILLER, THOMAS Journal: Mathematical structures in computer science Issue: Volume 26:Number 4(2016) Page Start: 606 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗