Publication
Region Analysis and a Ï”-Calculus with Groups
Publication
Finite-Control Mobile Ambients
Publication
Making Certificates Programmable
Publication
On Sparse Evaluation Representations
Publication