scientific article; zbMATH DE number 1832231
From MaRDI portal
Publication:4778709
zbMath0997.68509MaRDI QIDQ4778709
Francesca Levi, Sergio Maffeis
Publication date: 19 November 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2126/21260395
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)
Related Items (4)
On abstract interpretation of mobile ambients ⋮ A typed encoding of boxed into safe ambients ⋮ Types for the ambient calculus ⋮ Behavioural typing for safe ambients
This page was built for publication:
