scientific article; zbMATH DE number 6816929

DOI10.23638/LMCS-13(4:8)2017zbMath1398.68348arXiv1705.06430MaRDI QIDQ4596785

Makoto Hamana

Publication date: 11 December 2017

Full work available at URL: https://arxiv.org/abs/1705.06430

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fixed pointfunctional programmingcategorical semanticsfolditeration theorycyclic data structuresgeneral schematraced Cartesian category

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25) Categorical semantics of formal languages (18C50)

Related Items (1)

Theory and practice of second-order rewriting: foundation, evolution, and SOL

This page was built for publication: