Residuated Park theories

DOI10.1093/LOGCOM/EXT001zbMath1341.68115arXiv1102.1139OpenAlexW1856161107MaRDI QIDQ3195621

Zoltán Ésik

Publication date: 20 October 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

equational theoryresidualsiteration theoryleast fixed points

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50)

Related Items (3)

A connection between concurrency and language theory ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Equational properties of fixed-point operations in cartesian categories: An overview

This page was built for publication: Residuated Park theories