A ...-calculus with an algorithmic ... . G. Longo, M. Venturini Zilli (1980) Archiv für mathematische Logik und Grundlagenforschung
A new type assignment for ...-terms. M. Coppo, M. Dezani-Ciancaglini (1978) Archiv für mathematische Logik und Grundlagenforschung
A one axiom set theory based on higher order predicate calculus. M.W. Bunder (1983) Archiv für mathematische Logik und Grundlagenforschung
A Parigot-style linear λ -calculus for full intuitionistic linear logic. de Paiva, Valeria, Ritter, Eike (2006) Theory and Applications of Categories [electronic only]
Axiomatisation des manipulations symboliques en calcul des prédicats Marc Bergman, Henry Kanoui (1977) Mémoires de la Société Mathématique de France