enricorusso / lmet Goto Github PK
View Code? Open in Web Editor NEWThis project forked from gabriele-costa/lmet
Lambda calculus enriched with service request operators (req), security sandboxes (box) and security metrics (met).
License: GNU General Public License v3.0