Metlakahtla Alaska church manuel [sic].

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

Letter to Rev. Epaphras "Kibbe[sic]". 10/07/1803

Handwritten letter from Timothy Merritt to Rev. Epaphras "Kibbe[sic]" regarding religious developments in Boston as well as the death of Merritt's son. Dated 10/07/1803

June 12, 1820 letter to Epaphras "Kibby[sic]" on Circular by Baltimore preachers in the M.E. Church

Handwritten letter from Timothy Merritt to Epaphras "Kibby [sic]" on a Circular published by local preachers of the Baltimore area. Letter dated 6/12/1820, Circular dated 5/20/1820. Both are on the subject of the changed protocols resulting from decisions made at a General Conference held just previous to publication, involving the installment of new preachers

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).