Pitt david h (13 Ergebnisse)

Zustand: New.

Zustand: New. In English.

Zustand: New.

Zustand: New. In English.

Zustand: New. In English.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective.- An algebraic view of interleaving and distributed operational semantics for CCS.- Temporal structures.- Compositional relational semantics for indeterminate dataflow networks.- Operations on records.- Projections for polymorphic strictness analysis.- A category-theoretic account of program modules.- A note on categorical datatypes.- A set constructor for inductive sets in Martin-Löf's type theory.- Independence results for calculi of dependent types.- Quantitative domains, groupoids and linear logic.- Graded multicategories of polynomial-time realizers.- On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa.- Dictoses.- Declarative continuations: An investigation of duality in programming language semantics.- Logic representation in LF.- Unification properties of commutative theories: A categorical treatment.- An abstract formulation for rewrite systems.- From petri nets to linear logic.- A dialectica-like model of linear logic.- A final coalgebra theorem. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The papers in this volume were presented at the fourth biennial Summer Conference on Category and Computer Science. Category theory continues to be an important tool in foundational studies in computer science.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Categories and effective computations.- Polymorphism is set theoretic, constructively.- An equational presentation of higher order logic.- Enriched categories for local and interaction calculi.- The category of Milner processes is exact.- Relating two models of hardware.- Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms.- A typed lambda calculus with categorical type constructors.- Final algebras, cosemicomputable algebras, and degrees of unsolvability.- Good functors . are those preserving philosophy.- Viewing implementations as an institution.- An interval model for second order lambda calculus.- Logical aspects of denotational semantics.- Connections between partial maps categories and tripos theory.- A fixpoint construction of the p-adic domain.- A category of Galois connections.…

Taschenbuch. Zustand: Neu. Category Theory and Computer Science | Manchester, UK, September 5-8, 1989. Proceedings | David H. Pitt (u. a.) | Taschenbuch | viii | Englisch | 1989 | Springer | EAN 9783540516620 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Category Theory and Computer Science | Edinburgh, UK, September 7-9, 1987. Proceedings | David H. Pitt (u. a.) | Taschenbuch | viii | Englisch | 1987 | Springer | EAN 9783540185086 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Softcover. Zustand: Near Fine. First Edition. First edition. Stapled wrappers. 65pp. Edges lightly age-toned and bumped, near fine. Contributions by Robert M. Philmus, Margaret Edwards, Ron Loewinsohn, Priscilla Shames, James Reiss, Eric Felderman, Louise Gluck, Daniel Cassidy, Jr., Douglas L. Eichhorn, Paul W. Roewade, Joseph W. Survant, David Landon, Paul Brinkley-Rogers, Peter Welter, Helen Pringle, Anne Cleaves, David E. Cummings, William Pitt Root, Paul Oppenheimer, Shirley Kaufman, Stan Rice, DeWitt Beall, Jane Yolen, Gay Cothran, Kenneth Fields, Benito Cereno, John Peck, David Ransom, Tim Reynolds, L. Wittgenstein, Rodham Tulloss, McLister, Mary Maxwell Davis, Janis Adams, Roger H. Fogelman, Henry Taylor, Richard L. Pevear, Alexander Theroux, James Scay, Coburn Freer, E.G. Leimbacher, Frances McConnel, Susan Mitchell, David F.R. McGeary, Hunt Hawkins, and Patricia C. Smith. …

Single Issue Magazine. Zustand: Good. First Edition. Abundant black and white illustrations and reproductions of photos. Features: Two Men's Madness - six lives and a fine ship, the Frank N. Thayer, are lost through the unaccountable frenzy of two Indians; In Wildest Ireland - A.W. Cutler describes and photographs "unspoilt" regions of the Emerald Isle - with many fascinating photos; The Guardian of the Line - the ordeal undergone by a humble railway-crossing keeper's wife in Lithuania on the Russian Front; In Search of the Unknown Land - The tragic story of the Stefansson Arctic Exploration Expedition, twelve-page article including many photos; The Tales of Golab Khan - some amusing stories of Indian life; The Airman's Escape - two British aviators raid a Bulgarian town, then one is shot down and must be rescued by his companion; From Job To Job Around the World - part VI - Two American wanderers make there way through the Holy Land to Constantinople - with photos; The Trouble at Crib No. 2 - a tug-boat fireman recounts an exciting story of a winter rescue on the Great Lakes; Australia's Water Miracle - article and photos describe how the Government of New South Wales has created a miracle of irrigation; The Story of Count Seilern - A Tragedy of the Hapsburgs; Alpine Acrobats - A vivid account, illustrated by some very remarkable photographs, of the first ascent of the needle-like "Cigar Rock" in the Italian Alps; Lovely one-page illustrated ad by Canada Steamship Lines promotes their Niagara to the Sea all-water route; and more. pp. 4 [ads], [3], 290-385, 7-32 [ads]. Unmarked with moderate wear. Soiling to back cover. Covers beginning to loosen, otherwise a sound vintage copy of this exceptional issue. Somerfield, Thomas; Pride, Sid; Holloway, W.H.; Gillett, Frank; Evison, G.H.; Pitcher, Sotheby; Prater, Ernest (illustrator).…