Blue-tail fly / / Vievee Francis

• Record Nr.: UNINA9910953845103321
• Autore: Francis Vievee
• Pubbl/distr/stampa: Detroit, Mich., : Wayne State University Press, 2006
• ISBN: 9780814335215; 0814335217
• Edizione: [1st ed.]
• Descrizione fisica: 1 online resource (89 p.)
• Collana: Made in Michigan writers series
• Disciplina: 811/.6
• Soggetti: African American soldiers; Mexican War, 1846-1848; United States History Civil War, 1861-1865 Poetry
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: Cover -- Contents -- The Scale of Empire -- AFTERMATH -- 1880, The Binding Tie -- The Finishing Thoughts of Festus Spencer as He Looks into the Camera -- I -- Frederick Douglass Speaks before the Anti-Mexican War Abolitionists -- Ample Cause of War -- General Taylor Convinces Himself That He Is for War -- Doubt -- Letter to the Governor of Texas -- Notes from Officer Hitchcock's Lost Leather Journal -- Liberation -- By the end -- Three Hundred and Seventy-Two Miles from Home -- Pokagon Accepts Colonel Taylor's Invitation -- Colonel Zachary Taylor Has Pokagon for Tea -- The Escarpment -- In Private Conversation: Buchanan to Like Minds -- The Book Speaks of Pretenders -- South of Houston -- II -- Civil Beginnings -- Darling Wife -- Grey Jebediah -- The Bone Boiler -- Shadows -- 1864, Fragments of a Camp near Yorktown -- 1864, A Pocket Full of Rye -- Snake Swamp -- 1863, Walt Whitman Reads to the Limbless, Dying -- Linsey-Woolsey -- 1864, Dear Mother -- Gettysburg: Blue and Grey -- A Singular Dispersion over Franklin, Tennessee -- Lincoln Dreams of Sarah, the Servant -- "If Not for You" -- 1863, Detroit Riots, Again -- 1864, Dear Son -- III -- Private Athens Descries -- Hannibal of Athens, Georgia -- White Glove Test -- Private Smith's Primer -- Br'er Rabbit in Chickamauga -- Drummer Boy -- Interview: Survivor, Fort Pillow -- A Second Dream of Sarah -- Nigger Pine -- Lincoln Speaks after the ; Bones Are Thrown -- The White Immensities -- Notes on the Poems -- Credits and Acknowledgments.
• Sommario/riassunto: A poetic treatment of the period of American history between the beginning of the Mexican War and the end of the Civil War, by Michigan poet Vievee Francis. The title of Blue-Tail Fly comes from an antebellum song commonly known as "Jimmy Crack Corn." The blue-tail fly is a supposedly insignificant creature that bites the horse that bucks and kills the master. In this collection, poet Vievee Francis gives voice to "outsiders"-from soldiers and common folk to leading political figures-who play the role of the blue-tail fly in the period of American history between the Mexican American War and the Civil War. Through a diverse range of styles, characters, and emotions, Francis's poems consider the demands of war, protest and resistance to it, and the cross-cultural exchanges of wartime. More than a narrowly themed text, Blue-Tail Fly is a book of balances, weighing the give-and-take of people and cultures in the arena of war. For lovers of poetry and those interested in American history, Blue-Tail Fly will illustrate the complexities of the American past and future.

Types for Proofs and Programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / / edited by Thorsten Altenkirch, Conor McBride

• Record Nr.: UNINA9910483766003321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
• ISBN: 3-540-74464-9
• Edizione: [1st ed. 2007.]
• Descrizione fisica: 1 online resource (VIII, 272 p.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 4502
• Altri autori (Persone): AltenkirchThorsten <1962->; McBrideConor
• Disciplina: 005.13
• Soggetti: Compilers (Computer programs); Computer science; Machine theory; Computer science - Mathematics; Artificial intelligence; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Symbolic and Algebraic Manipulation; Artificial Intelligence
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory -- Crafting a Proof Assistant -- On Constructive Cut Admissibility in Deduction Modulo -- Fast Reflexive Arithmetic Tactics the Linear Case and Beyond -- Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq -- Deciding Equality in the Constructor Theory -- A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family -- Truth Values Algebras and Proof Normalization -- Curry-Style Types for Nominal Terms -- (In)consistency of Extensions of Higher Order Logic and Type Theory -- Constructive Type Classes in Isabelle -- Zermelo’s Well-Ordering Theorem in Type Theory -- A Finite First-Order Theory of Classes -- Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers -- Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs -- Subset Coercions in Coq -- A Certified Distributed Security Logic for Authorizing Code.
• Sommario/riassunto: The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.