Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
General Mathematics,General Computer Science
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Linearity in the Non-deterministic Call-by-Value Setting;Logic, Language, Information and Computation;2012
2. Disjunctive Constraint Lambda Calculi;Logic for Programming, Artificial Intelligence, and Reasoning;2005
3. The origins of structural operational semantics;The Journal of Logic and Algebraic Programming;2004-07
4. Erratic Fudgets: a semantic theory for an embedded coordination language;Science of Computer Programming;2003-01
5. Adequacy for Algebraic Effects;Lecture Notes in Computer Science;2001