Author:
Geron Bram,Levy Paul Blain
Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. Infinite trees and completely iterative theories: a coalgebraic view;Aczel;Theoretical Computer Science,2003
2. Elgot Algebras;Adámek;Logical Methods in Computer Science,2006
3. Elgot theories: a new perspective on the equational properties of iteration;Adámek;Mathematical Structures in Computer Science,2011
4. A Head-to-Head Comparison of de Bruijn Indices and Names;Berghofer;Electronic Notes in Theoretical Computer Science,2007
5. Programming and Reasoning with Algebraic Effects and Dependent Types;Brady,2013
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A metalanguage for guarded iteration;Theoretical Computer Science;2021-04
2. An Adequate While-Language for Hybrid Computation;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
3. A Metalanguage for Guarded Iteration;Theoretical Aspects of Computing – ICTAC 2018;2018