An efficient abstract machine for safe ambients

From MaRDI portal
Publication:882488