david h pitt (38 risultati)

Soft Cover. Condizione: vg-. John Batchelor (illustratore). Charles B. MacDonald, intro.160 pages; b/w photos, maps, & illustrations; contents unmarked; shelf wear to edges of color illustrated cover. Paperback.

dvd. Condizione: Used - Good.

Condizione: New.

Condizione: Gut. Auflage: 1989. 380 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 536 23,4 x 15,6 x 1,8 cm, Taschenbuch.

Condizione: As New. Unread book in perfect condition.

Condizione: New. In.

PF. Condizione: New.

Condizione: New. In.

Condizione: New. In.

PF. Condizione: New.

PF. Condizione: New.

Condizione: New.

Condizione: New. pp. 376.

Condizione: New.

Paperback or Softback. Condizione: New. Category Theory and Computer Science: Edinburgh, Uk, September 7-9, 1987. Proceedings. Book.

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The papers in this volume were presented at the fourthbiennial Summer Conference on Category Theory and ComputerScience, held in Paris, September3-6, 1991. Category theorycontinues to be an important tool in foundationalstudies incomputer science. It has been widely applied by logicians toget concise interpretations of many logical concepts. Linksbetween logic and computer science have been developed nowfor over twenty years, notably via the Curry-Howardisomorphism which identifies programs with proofs and typeswith propositions. The triangle category theory - logic -programming presents a rich world of interconnections.Topics covered in this volume include the following. Typetheory: stratification of types and propositions can bediscussed in a categorical setting. Domain theory: syntheticdomain theory develops domain theory internally in theconstructive universe of the effective topos. Linear logic:the reconstruction of logic based on propositions asresources leads to alternatives to traditional syntaxes. Theproceedings of the previous three category theoryconferences appear as Lecture Notes in Computer ScienceVolumes 240, 283 and 389.

Taschenbuch. Condizione: 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. Condizione: Neu. Category Theory and Computer Science | Paris, France, September 3-6, 1991. Proceedings | David H. Pitt (u. a.) | Taschenbuch | viii | Englisch | 1991 | Springer | EAN 9783540544951 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: 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.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Softcover. Condizione: Near Fine. 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. Condizione: Good. Somerfield, Thomas; Pride, Sid; Holloway, W.H.; Gillett, Frank; Evison, G.H.; Pitcher, Sotheby; Prater, Ernest (illustratore). 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.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory. 376 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory. 312 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers in this volume were presented at the fourthbiennial Summer Conference on Category Theory and ComputerScience, held in Paris, September3-6, 1991. Category theorycontinues to be an important tool in foundationalstudies incomputer science. It has been widely applied by logicians toget concise interpretations of many logical concepts. Linksbetween logic and computer science have been developed nowfor over twenty years, notably via the Curry-Howardisomorphism which identifies programs with proofs and typeswith propositions. The triangle category theory - logic -programming presents a rich world of interconnections.Topics covered in this volume include the following. Typetheory: stratification of types and propositions can bediscussed in a categorical setting. Domain theory: syntheticdomain theory develops domain theory internally in theconstructive universe of the effective topos. Linear logic:the reconstruction of logic based on propositions asresources leads to alternatives to traditional syntaxes. Theproceedings of the previous three category theoryconferences appear as Lecture Notes in Computer ScienceVolumes 240, 283 and 389. 316 pp. Englisch.

Condizione: New. Print on Demand pp. 376 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 376.