Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A domain-theoretic framework for robustness analysis of neural networks;Mathematical Structures in Computer Science;2023-02
2. On collecting semantics for program analysis;Theoretical Computer Science;2020-07
3. On Intersection Types and Probabilistic Lambda Calculi;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03
4. Abstract interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
5. Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014