Reformations-Geschichte des ehemaligen Bisthums Bamberg text /

Originally issued in installments: "I. bis III. Heft".

Tractatus in casus reservatos tam in genere quam in specie,

Mode of access: Internet.

A brief history of the Bhopal principality in Central India : from the period of its foundation, about one hundred and fifty years ago, to the present time.

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

Principality and Decidable Type Inference for Finite-Rank Intersection Types

Principality of typings is the property that for each typable term, there is a typing from which all other typings are obtained via some set of operations. Type inference is the problem of finding a typing for a given term, if possible. We define an intersection type system which has principal typings and types exactly the strongly normalizable λ-terms. More interestingly, every finite-rank restriction of this system (using Leivant's first notion of rank) has principal typings and also has decidable type inference. This is in contrast to System F where the finite rank restriction for every finite rank at 3 and above has neither principal typings nor decidable type inference. This is also in contrast to earlier presentations of intersection types where the status of these properties is not known for the finite-rank restrictions at 3 and above.Furthermore, the notion of principal typings for our system involves only one operation, substitution, rather than several operations (not all substitution-based) as in earlier presentations of principality for intersection types (of unrestricted rank). A unification-based type inference algorithm is presented using a new form of unification, β-unification.

Betha Cholmáin maic Luacháin: an ecclesiastical microcosm of the twelfth-century Irish midlands

Betha Cholmáin maic Luacháin (BCh) is a key source of information about a small ecclesiastical community of the Irish midlands in the medieval period. BCh is one of the longest medieval Irish hagiographic texts. A sole copy exists. Scholarly concern with manuscript Rennes 598, and the Life of Colmán therein, diminished following the 1911 edition of BCh. The most attention paid to BCh in the following decades focused largely on its onomastic information. The necessary detailed study of the text has not been undertaken. The present work is an initial view of significant areas of interaction between the church of Lann and its ecclesiastical, social and political milieu. While social and cultural aspects of the text may constitute the focus of this study, linguistic data is also investigated, complementary to evidence regarding its social and political testimony. In this way, light is cast on a complex ecclesiastical microcosm in the twelfth-century Irish midlands. In keeping with recent methodological work in the field a variety of tools are used to aid investigation, and to show the Life within its genre and wider context. An interdisciplinary approach will bring together strands of literary, cultural, archaeological, onomastic, historical, geographical, genealogical and hagiographical information, with reference to linguistic evidence where appropriate. This thesis seeks to suggest a template for studies undertaken on smaller church communities, and is set out in two main sections. The first section investigates the figure of the saint, his life, church, the manuscript source and the combination of prose and verse in the text. The second section examines the testimony of the Life regarding the ecclesiastical and secular concerns of the community of Lann, and how these concerns are represented. Evidence regarding the members of this community and their interaction with the church and the wider world is also discussed.