Publisher
Springer International Publishing
Reference29 articles.
1. Lecture Notes in Computer Science;A Abel,2000
2. Lecture Notes in Computer Science;A Abel,2003
3. Lecture Notes in Computer Science;A Abel,2007
4. Abel, A.: Semi-continuous sized types and termination. Log. Methods Comput. Sci. 4(2:3), 1–33 (2008).
http://dx.doi.org/10.2168/LMCS-4(2:3)2008
, CSL 2006 special issue
5. Abel, A.: Type-based termination, inflationary fixed-points, and mixed inductive-coinductive types. In: Miller, D., Ésik, Z. (eds.) Proceedings of 8th Workshop on Fixed Points in Computer Science (FICS 2012), Electronic Proceedings in Theoretical Computer Science, vol. 77, pp. 1–11 (2012).
http://dx.doi.org/10.4204/EPTCS.77.1
,
invited talk
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Trace and Stable Failures Semantics for CSP-Agda;Electronic Proceedings in Theoretical Computer Science;2017-09-13
2. FORMAL LANGUAGES, FORMALLY AND COINDUCTIVELY;LOG METH COMPUT SCI;2017
3. Friends with Benefits;Programming Languages and Systems;2017