Similar Items: Playing Safe, Ten Years Later
- The Safe Lambda Calculus
- Is Percutaneous Endoscopic Necrosectomy Really Safe and Effective for Symptomatic Laterally ...
- Editorials: Twenty years later
- A Theory of Explicit Substitutions with Safe and Full Composition
- Simply typed convertibility is TOWER-complete even for safe lambda-terms
- A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets