Author:
Matthes Ralph,Uustalu Tarmo
Subject
General Computer Science,Theoretical Computer Science
Reference41 articles.
1. A. Abel, R. Matthes, (Co-)iteration for higher-order nested datatypes, in: H. Geuvers, F. Wiedijk (Eds.), Selected Papers from Second International Workshop on Types for Proofs and Programs, TYPES 2002, Berg en Dal, The Netherlands, 24–28 April 2002, Vol. 2646 of Lecture Notes in Computer Science, Springer, Berlin, 2003, pp. 1–20.
2. A. Abel, R. Matthes, T. Uustalu, Generalized iteration and coiteration for higher-order nested datatypes, in: A.D. Gordon (Ed.), Proceedings of the Sixth International Conference on Foundations of Software Science and Computation Structures FoSSaCS 2003, Warsaw, Poland, 7–9 April 2003, Vol. 2620 of Lecture Notes in Computer Science, Springer, Berlin, 2003, pp. 54–69.
3. P. Aczel, Frege structures and the notions of proposition, truth and set, in: J. Barwise, H.J. Keisler, K. Kunen (Eds.), The Kleene Symp.: Proceedings of Symposium, Madison, WI, USA, 18–24 June 1978, Vol. 101 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1980, pp. 31–59.
4. P. Aczel, Algebras and coalgebras, in: R. Backhouse, R. Crole, J. Gibbons (Eds.), Revised Lectures from International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, Oxford, UK, 10–14 April 2000, Vol. 2297 of Lecture Notes in Computer Science, Springer, Berlin, 2002, pp. 79–88, (Chapter 3).
5. Infinite trees and completely iterative theories;Aczel;Theoret. Comput. Sci.,2003
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Nominal Recursors as Epi-Recursors;Proceedings of the ACM on Programming Languages;2024-01-05
2. Allegories of Symbolic Manipulations;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
3. C-system of a module over a Jf-relative monad;Journal of Pure and Applied Algebra;2023-06
4. Implementing a category-theoretic framework for typed abstract syntax;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11
5. Structured Handling of Scoped Effects;Programming Languages and Systems;2022