Around Classical and Intuitionistic Linear Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Olivier Laurent. Around Classical and Intuitionistic Linear Logics. In Anuj Dawar, Erich Grädel, editors, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018. pages 629-638, ACM, 2018. [doi]

This author has not been identified. Look up 'Olivier Laurent' in Google

runs on WebDSL