SAFKASI

swMATH20431MaRDI QIDQ32249FDOQ32249

Author name not available (Why is that?)

Cited In (3)

• Access control in a core calculus of dependency
• A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
• Model checking usage policies

This page was built for software: SAFKASI