Robuta

https://bahr.io/pubs/entries/bahr11rep.html Patrick Bahr - Infinitary Term Graph Rewriting Term graph rewriting provides a formalism for implementing term rewriting in an efficient manner by avoiding duplication. Infinitary term rewriting has been... patrickbahrtermgraphrewriting https://www.socsci.uci.edu/newsevents/news/2012/2012-07-01-ben-rin-presents-work-on-infinitary-computers-in-uk.php Ben Rin presents work on infinitary computers in UK | School of Social Sciences https://journals.eco-vector.com/2686-9543/article/view/698442 ON THE GALOIS CONNECTION FOR CLOSED CLASSES OF INFINITARY FUNCTIONS - Polyakov - Doklady Mathematics ON THE GALOIS CONNECTION FOR CLOSED CLASSES OF INFINITARY FUNCTIONS https://eudml.org/doc/258114 EuDML | Weak Probability Logic With Infinitary Predicates probability logiceudmlweakpredicates https://ueaeprints.uea.ac.uk/id/eprint/23338/ Infinitary Rewriting: From Syntax to Semantics - UEA Digital Repository rewritingsyntaxsemanticsueadigital