Strong nominal semantics for fixed-point constraints

DOI10.46298/ENTICS.14777MaRDI QIDQ6831453zbMATH OpenFDO

Authors Ali K. Caires-Santos, Maribel Fernández, Daniele Nantes-Sobrinho

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

programming languagessemanticsbindingnominal algebra

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

This page was built for publication: Strong nominal semantics for fixed-point constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6831453)