Alcove

swMATH41058MaRDI QIDQ5972433FDOQ5972433

Author name not available (Why is that?)

Official website: http://subsell.logic.at/alcove2/

Described by source

• A concurrent constraint programming interpretation of access permissions

Cited In (2)

• A focused linear logical framework and its application to metatheory of object logics
• Hybrid linear logic, revisited

This page was built for software: Alcove