MaRDI QIDQ40249swMATHFDO
Official website https://arxiv.org/pdf/1503.05496.pdf
Source code repository https://github.com/ekiciburak/impex-on-decorated-logic
This page was built for software: IMP+Exc
