Author:
Endrullis Jörg,Grabmayer Clemens,Hendriks Dimitri,Isihara Ariya,Klop Jan Willem
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Buchholz, W.: A term calculus for (co-)recursive definitions on streamlike data structures. Annals of Pure and Applied Logic 136(1-2), 75–90 (2005)
2. Lecture Notes in Computer Science;T.. Coquand.,1994
3. Dijkstra, E.W.: On the productivity of recursive definitions, EWD749 (1980)
4. Endrullis, J., Grabmayer, C., Hendriks, D.: Productivity of Stream Definitions. Technical report, Vrije Universiteit Amsterdam (2007), Available via
http://infinity.few.vu.nl/productivity/
5. Hughes, J., Pareto, L., Sabry, A.: Proving the correctness of reactive systems using sized types. In: POPL 1996, pp. 410–423 (1996)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Distributive Laws and Decidable Properties of SOS Specifications;Electronic Proceedings in Theoretical Computer Science;2014-08-06
2. Implicit complexity for coinductive data: a characterization of corecurrence;Electronic Proceedings in Theoretical Computer Science;2012-01-01
3. Global and Local Space Properties of Stream Programs;Foundational and Practical Aspects of Resource Analysis;2010
4. Proving Infinitary Normalization;Lecture Notes in Computer Science;2009
5. Using Structural Recursion for Corecursion;Lecture Notes in Computer Science;2009