Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
HINZE, RALF
2010.
Concrete stream calculus: An extended study.
Journal of Functional Programming,
Vol. 20,
Issue. 5-6,
p.
463.
Hinze, Ralf
2010.
Central European Functional Programming School.
Vol. 6299,
Issue. ,
p.
42.
Hinze, Ralf
and
James, Daniel W.H.
2011.
Proving the unique fixed-point principle correct.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 9,
p.
359.
Hinze, Ralf
and
James, Daniel W.H.
2011.
Proving the unique fixed-point principle correct.
p.
359.
Ferreira, João F.
and
Mendes, Alexandra
2016.
A calculational approach to path-based properties of the Eisenstein–Stern and Stern–Brocot trees via matrix algebra.
Journal of Logical and Algebraic Methods in Programming,
Vol. 85,
Issue. 5,
p.
906.
Lochbihler, Andreas
and
Schneider, Joshua
2016.
Interactive Theorem Proving.
Vol. 9807,
Issue. ,
p.
252.
Blanchette, Jasmin Christian
Bouzy, Aymeric
Lochbihler, Andreas
Popescu, Andrei
and
Traytel, Dmitriy
2017.
Programming Languages and Systems.
Vol. 10201,
Issue. ,
p.
111.
Uludağ, A. Muhammed
and
Eren Gökmen, Buket
2022.
The conumerator and the codenominator.
Bulletin des Sciences Mathématiques,
Vol. 180,
Issue. ,
p.
103192.
Uludağ, A. Muhammed
2025.
Essays on Geometry.
p.
147.
Discussions
No Discussions have been published for this article.