POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Anytime, anywhere: modal logics for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On categorical equivalence of Gentzen-style derivations in IMLL
Theoretical Computer Science - Logic and complexity in computer science
Model checking mobile ambients
Theoretical Computer Science
Linear Logic for Non-Linear Storytelling
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Session types as intuitionistic linear propositions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Structural analysis of narratives with the Coq proof assistant
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Linear logical relations for session-based concurrency
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
| Hi-index | 0.00 |