Semantics study and reality of computing
ACM Computing Surveys (CSUR)
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Premonoidal categories as categories with algebraic structure
Theoretical Computer Science
A relational account of call-by-value sequentiality
Information and Computation - Special issue: LICS'97
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
Functions with local state: regularity and undecidability
Theoretical Computer Science
About the undecidability of program equivalence in finitary languages with state
ACM Transactions on Computational Logic (TOCL)
Games for complexity of second-order call-by-name programs
Theoretical Computer Science - Game theory meets theoretical computer science
Game semantics and linear CPS interpretation
Theoretical Computer Science - Foundations of software science and computation structures
Full Abstraction for Reduced ML
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Verification of higher-order computation: a game-semantic approach
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Game semantics for call-by-value polymorphism
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
A fragment of ML decidable by visibly pushdown automata
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Game semantics for higher-order concurrency
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Hi-index | 0.00 |