A coalgebraic approach to the semantics of the ambient calculus
scientific article; zbMATH DE number 5083522