References

 [And86]

P. B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Academic press, 1986.

 [Cer93]

M. Cerioli. Relationships between Logical Formalisms. PhD thesis, TD-4/93, Università di Pisa-Genova-Udine, 1993.

 [Far91]

W. A. Farmer. A partial functions version of Church's simple type theory. Journal of Symbolic Logic, 55:1269-1291, 1991.

 [Hax97]

A.E. Haxthausen. Order-sorted algebraic specifications with higher-order functions. Theoretical Computer Science, 183:157-185, 1997.

 [Me93]

K. Meinke and J. V. Tucker (eds.). Many-sorted logic and its applications. Wiley, Chichester, 1993.