Correct Looping Arrows from Cyclic Terms

DOI10.1007/978-3-642-29822-6_13zbMath1354.68047OpenAlexW16753864MaRDI QIDQ2900260

Makoto Hamana

Publication date: 20 July 2012

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29822-6_13

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Categorical semantics of formal languages (18C50)

Related Items (1)

The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics

Uses Software

• Haskell

This page was built for publication: Correct Looping Arrows from Cyclic Terms