Higher dimensional automata revisited
Mathematical Structures in Computer Science
Functional interpretations of linear and intuitionistic logic
Information and Computation
Computational interpretations of classical linear logic
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Hi-index | 0.00 |