Author:
Bucciarelli A.,Ehrhard T.
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantics and Syntax, Between Computer Science and Mathematics;The French School of Programming;2023-10-11
2. Full Abstraction for Probabilistic PCF;Journal of the ACM;2018-08-16
3. On the reification of semantic linearity;Mathematical Structures in Computer Science;2014-11-10
4. Non-uniform (hyper/multi)coherence spaces;Mathematical Structures in Computer Science;2010-11-01
5. Semantically linear programming languages;Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming;2008-07-15