Imperative programming in sets with atoms

DOI10.4230/LIPICS.FSTTCS.2012.4MaRDI QIDQ2957477zbMATH OpenFDO

Authors Mikołaj Bojańczyk, Szymon Toruńczyk

Publication date 26 January 2017

Full work available at URL https://doi.org/10.4230/LIPICS.FSTTCS.2012.4

zbMATH Keywords

nominal setssets with atomswhile programs

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45)

Recommendations

• LOIS: syntax and semantics
• An imperative language based on distributive categories II
• Nominal Sets over Algebraic Atoms
• scientific article; zbMATH DE number 4009812
• scientific article; zbMATH DE number 7204453

Cited in

(5)

• Nominal automata with name binding
• scientific article; zbMATH DE number 2090081 (Why is no real title available?)
• LOIS: syntax and semantics
• Solvability of orbit-finite systems of linear equations
• Orbit-finite linear programming

This page was built for publication: Imperative programming in sets with atoms

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