Alcove

MaRDI QIDQ5972433swMATHFDO

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