Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Final Dialgebras: From Categories to Allegories

Roland Backhouse, Paul Hoogendijk

RAIRO-Theor. Inf. Appl., 33 4-5 (1999) 401-426

Published online: 2002-08-15

DOI: https://doi.org/10.1051/ita:1999126

This article has been cited by the following article(s):

On difunctions

Roland Backhouse and José Nuno Oliveira
Journal of Logical and Algebraic Methods in Programming 134 100878 (2023)
https://doi.org/10.1016/j.jlamp.2023.100878

Algebraic Methodology and Software Technology

Luís S. Barbosa, José N. Oliveira and Alexandra Silva
Lecture Notes in Computer Science, Algebraic Methodology and Software Technology 5140 83 (2008)
https://doi.org/10.1007/978-3-540-79980-1_7

Datatype-Generic Termination Proofs

Roland Backhouse and Henk Doornbos
Theory of Computing Systems 43 (3-4) 362 (2008)
https://doi.org/10.1007/s00224-007-9056-z

Logical Approaches to Computational Barriers

Roland Backhouse
Lecture Notes in Computer Science, Logical Approaches to Computational Barriers 3988 21 (2006)
https://doi.org/10.1007/11780342_3

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Henk Doornbos and Roland Backhouse
Lecture Notes in Computer Science, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2297 204 (2002)
https://doi.org/10.1007/3-540-47797-7_6