Principal-centric reasoning in constructive authorization logic (2008)

by Deepak Garg
Venue:Workshop on Intuitionistic Modal Logic and Applications (IMLA’08). Full