Author:
Honsell Furio,Lenisa Marina,Liquori Luigi,Scagnetto Ivan
Publisher
Springer International Publishing
Reference23 articles.
1. Alessi, F., Baldan, P., Honsell, F.: A category of compositional domain-models for separable Stone spaces. Theor. Comput. Sci. 2901, 599–635 (2003)
2. Abramsky, S.: A Cook’s Tour of the Finitary Non-Well-Founded Sets. CoRR, abs/1111.7148 (2011). http://arXiv.org/abs/1111.7148
3. Capretta, V.: General recursion via coinductive types. Log. Meth. Comput. Sci. 1(2), 1–18 (2005)
4. Casinghino, C., Sjöberg, V., Weirich, S.: Combining proofs and programs in a dependently typed language. In: POPL 2014, pp. 33–45. ACM (2014)
5. Development Team: Assistant, The Coq Proof Documentation, system download. http://coq.inria.fr/
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献