Del 389 - Lecture Notes in Computer Science

Category Theory and Computer Science

Manchester, UK, September 5-8, 1989. Proceedings

Häftad, Engelska, 1989

Av David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne

669 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1989-08-23
Mått170 x 250 x 21 mm
Vikt569 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor372
Upplaga1989
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540516620

Tillhör följande kategorier

Operativsystem inom Data och it
Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Programmeringsböcker inom Data och it
Matematikens grunder inom Naturvetenskap och teknik

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.

Du kanske också är intresserad av

Category Theory and Computer Science

Del 530

Category Theory and Computer Science

David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard

709 kr

Category Theory and Computer Science

Del 283

Category Theory and Computer Science

David H. Pitt, Axel Poigne, David E. Rydeheard

709 kr

Semantics and Logics of Computation

Semantics and Logics of Computation

Andrew M. (University of Cambridge) Pitts, Gothenberg) Dybjer, P. (Chalmers University of Technology, Andrew M. Pitts, P. Dybjer, Peter Dybjer

789 kr

Types for Proofs and Programs

Del 996

Types for Proofs and Programs

Peter Dybjer, Bengt Nordström, Jan Smith

709 kr

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

49 kr79 kr

Types for Proofs and Programs

Del 1956

Types for Proofs and Programs

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

709 kr

Category Theory and Computer Programming

Del 240

Category Theory and Computer Programming

David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard

729 kr

Den yttersta hemligheten

Del 6

Den yttersta hemligheten

289 kr329 kr

Automata, Languages, and Programming

Automata, Languages, and Programming

Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer

709 kr

Vitön : den fristående fortsättningen på Expeditionen

Nyhet

Vitön : den fristående fortsättningen på Expeditionen

399 kr