Imperative programming in sets with atoms

DOI10.4230/LIPICS.FSTTCS.2012.4zbMATH Open1354.68053MaRDI QIDQ2957477FDOQ2957477

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

Publication date: 26 January 2017

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

zbMATH Keywords

nominal setswhile programssets with atoms

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• LOIS: syntax and semantics
• Solvability of orbit-finite systems of linear equations
• Nominal automata with name binding

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)