Author:
Aguirre Alejandro,Barthe Gilles,Birkedal Lars,Bizjak Aleš,Gaboardi Marco,Garg Deepak
Publisher
Springer International Publishing
Reference35 articles.
1. Clouston, R., Bizjak, A., Grathwohl, H.B., Birkedal, L.: The guarded lambda-calculus: programming and reasoning with guarded recursion for coinductive types. Log. Methods Comput. Sci. 12(3) (2016)
2. Aguirre, A., Barthe, G., Gaboardi, M., Garg, D., Strub, P.: A relational logic for higher-order programs. PACMPL 1(ICFP), 21:1–21:29 (2017)
3. Lindvall, T.: Lectures on the Coupling Method. Courier Corporation (2002)
4. Thorisson, H.: Coupling, Stationarity, and Regeneration. Springer, New York (2000)
5. Lecture Notes in Computer Science;G Barthe,2015
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献