Prev Up Next
Go backward to 10 Signature morphisms
Go up to Top
Go forward to Footnotes


P. B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Academic press, 1986.
M. Cerioli. Relationships between Logical Formalisms. PhD thesis, TD-4/93, Università di Pisa-Genova-Udine, 1993.
W. A. Farmer. A partial functions version of Church's simple type theory. Journal of Symbolic Logic, 55:1269-1291, 1991.
A.E. Haxthausen. Order-sorted algebraic specifications with higher-order functions. Theoretical Computer Science, 183:157-185, 1997.
K. Meinke and J. V. Tucker (eds.). Many-sorted logic and its applications. Wiley, Chichester, 1993.

CoFI Note: L-8 ---- 7 January 1998.
Comments to

Prev Up Next