De veritate religionis Christianae amica collatio cum erudito Judaeo (Gouda, 1687) (the "erudite Jew" in question was Isaac Orobio de Castro) Historia Inquisitionis (1692), in four books prefixed to the Liber Sententiarum Inquisitionis Tolosanae (1308–1323) Commentarius in Acta Apostolorum et in Epistolas ad Romanos et ad Hebraeos (Rotterdam, 1711)