Flora of Peru / Alwyn H. Gentry, Dillon Michael O., and Jones Samuel B.

n.s. no.5(1980)

Catharine Waugh McCullouch papers in the Mary Earhart Dillon collection, 1869-1945

Collection primarily documents McCulloch's research on women's legal status, and her work with the Illinois Equal Suffrage Association, the National American Woman Suffrage Association, and the League of Women Voters. There is also documentation of women in the legal profession, of McCulloch's friendships with the other women suffragists and lawyers, and some biographical material. The papers contain little information about her family or social life.

Social-conservatism, Australian politics and cricket: The triumvirate of Prime Minister John Howard, Sir Robert Menzies and Sir Donald Bradman

This Article does not have an abstract.

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Tentamen florae Abyssinicae :seu, Enumeratio plantarum hucusque in plerisque Abyssiniae provinciis detectarum et praecipue a beatis doctoribus Richard Quartin Dillon et Antonio Petit (annis 1838-1843) lectarum /auctore Achille Richard.

PLATES

Tentamen florae Abyssinicae :seu, Enumeratio plantarum hucusque in plerisque Abyssiniae provinciis detectarum et praecipue a beatis doctoribus Richard Quartin Dillon et Antonio Petit (annis 1838-1843) lectarum /auctore Achille Richard.

v. 1

Tentamen florae Abyssinicae :seu, Enumeratio plantarum hucusque in plerisque Abyssiniae provinciis detectarum et praecipue a beatis doctoribus Richard Quartin Dillon et Antonio Petit (annis 1838-1843) lectarum /auctore Achille Richard.

v. 2

Congress of arts and science, Universal exposition, St. Louis, 1904; ed. by Howard J. Rogers.

v. VI