Djalali, A. J. Synthetic Logic. LiLT 2014, 9, 151–166.