Author:
Buisse Alexandre,Birkedal Lars,Støvring Kristian
Subject
General Computer Science,Theoretical Computer Science
Reference13 articles.
1. Solving re. exive domain equations in a category of complete metric spaces;America;J. Comput. Syst. Sci.,1989
2. BI-hyperdoctrines higher-order separation logic, and abstraction;Biering;ACM Transactions on Programming Languages and Systems,2007
3. L. Birkedal, B. Reus, J. Schwinghammer, K. Støvring, J. Thamsborg, and H. Yang. Step-indexed Kripke models over recursive worlds. In POPL, 2011.
4. Realisability semantics of parametric polymorphism general references and recursive types;Birkedal;Mathematical Structures in Computer Science,2010
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献