1CC43873-FA2F-4CC6-9BB5-3BCB879547A7Foundational Structures for Compositional MeaningFellowshipEP/J002607/2798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL380902FFFA4E70-AC51-49D9-9ADB-73C9C99F06BFAlgebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operatorsACM Transactions on Computational Logice61394d364b3e87ef2999304992e432bDyckhoff R2013-01-01http://dx.doi.org/10.1145/2536740.2536742http://dx.doi.org/10.1145/2536740.25367424Journal Article/Review546485094a38e3.73272294