enricorusso / lmet

Lambda calculus enriched with service request operators (req), security sandboxes (box) and security metrics (met).

Geek Repo

Github PK Tool