Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference19 articles.
1. A theory of sequentiality;Bucciarelli;Theoret. Comput. Sci.,1993
2. Sequentiality in an extensional framework;Bucciarelli;Inform. and Comput.,1994
3. Logical relations and lambda-theories;Bucciarelli,1997
4. Fully abstract semantics for observably sequential languages;Cartwright;Information and Computation,1994
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantics and Syntax, Between Computer Science and Mathematics;The French School of Programming;2023-10-11
2. A deterministic rewrite system for the probabilistic λ-calculus;Mathematical Structures in Computer Science;2019-06-06
3. Non-uniform (hyper/multi)coherence spaces;Mathematical Structures in Computer Science;2010-11-01
4. Projecting Games on Hypercoherences;Automata, Languages and Programming;2004
5. Non-Uniform Hypercoherences;Electronic Notes in Theoretical Computer Science;2003-02