受强制性开放获取政策约束的文章 - Paul-André Melliès了解详情
可在其他位置公开访问的文章：8 篇
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
PA Melliès, N Zeilberger
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
强制性开放获取政策： European Commission
Template games and differential linear logic
PA Melliès
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
强制性开放获取政策： European Commission
Categorical combinatorics of scheduling and synchronization in game semantics
PA Melliès
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
强制性开放获取政策： European Commission
Higher-order parity automata
PA Melliès
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
强制性开放获取政策： European Commission
Layered and object-based game semantics
A Oliveira Vale, PA Melliès, Z Shao, J Koenig, L Stefanesco
Proceedings of the ACM on Programming Languages 6 (POPL), 1-32, 2022
强制性开放获取政策： US National Science Foundation, US Department of Defense
Parsing as a lifting problem and the Chomsky-Sch\" utzenberger representation theorem
PA Melliès, N Zeilberger
Electronic Notes in Theoretical Informatics and Computer Science 1, 2023
强制性开放获取政策： Agence Nationale de la Recherche
An Isbell duality theorem for type refinement systems
PA Melliès, N Zeilberger
Mathematical Structures in Computer Science 28 (6), 736-774, 2018
强制性开放获取政策： European Commission
A Functorial Excursion Between Algebraic Geometry and Linear Logic
PA Melliès
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
强制性开放获取政策： European Commission
出版信息和资助信息由计算机程序自动确定