A Collection of Memorial Addresses about the Death of James A. Garfield

Printed pamphlet of sermons presented by ministers and pastors after the death of President James A. Garfield.

Addresses on the death of the Hon. T.H.Hicks

Addresses delivered in the Senate and House of Representatives.

World-wide evangelization the urgent business of the church; addresses delivered before the fourth international convention of the Student volunteer movement for foreign missions, Toronto, Canada, February 26-March 2, 1902.

http://www.archive.org/details/worldwideevangel00unknuoft

Addresses of Rev. Drs. Park, Post, & Bacon : at the anniversary of the American Congregational Union, May, 1854.

http://www.archive.org/details/addressesofrevdr00parkuoft

Canada's missionary congress; addresses delivered at the Canadian National Missionary Congress, held in Toronto, March 31 to April 4, 1909, with reports of committees.

http://www.archive.org/details/canadasmission00unknuoft/

Beta-Reduction As Unification

We define a unification problem ^UP with the property that, given a pure lambda-term M, we can derive an instance Gamma(M) of ^UP from M such that Gamma(M) has a solution if and only if M is beta-strongly normalizable. There is a type discipline for pure lambda-terms that characterizes beta-strong normalization; this is the system of intersection types (without a "top" type that can be assigned to every lambda-term). In this report, we use a lean version LAMBDA of the usual system of intersection types. Hence, ^UP is also an appropriate unification problem to characterize typability of lambda-terms in LAMBDA. It also follows that ^UP is an undecidable problem, which can in turn be related to semi-unification and second-order unification (both known to be undecidable).