Generalised Name Abstraction for Nominal Sets

DOI10.1007/978-3-642-37075-5_28zbMath1260.68088OpenAlexW121172531MaRDI QIDQ4910435

Ranald Clouston

Publication date: 18 March 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37075-5_28

zbMATH Keywords

adjoint functorsnominal setsname binding

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Binding operators for nominal sets

Uses Software

• Freshml

This page was built for publication: Generalised Name Abstraction for Nominal Sets