Publication
An Abstract Communication Model
Publication
Finite-Control Mobile Ambients
Publication
On Sparse Evaluation Representations
Publication
Making Certificates Programmable
Publication