Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008981446/catalog> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- catalog abstract ""This book presents nine thoroughly reviewed and revised advanced lectures given at a graduate-level summer school in Caminha, Portugal, in September 2000"--Jacket.".
- catalog contributor b12621370.
- catalog created "c2002.".
- catalog date "2002".
- catalog date "c2002.".
- catalog dateCopyrighted "c2002.".
- catalog description ""This book presents nine thoroughly reviewed and revised advanced lectures given at a graduate-level summer school in Caminha, Portugal, in September 2000"--Jacket.".
- catalog description "An introduction to dependent type theory / Gilles Barthe and Thierry Coquand -- Monads and effects / Nick Benton, John Hughes, and Eugenio Moggi -- Abstract machines, control, and sequents / Pierre-Louis Curien -- Normalization and partial evaluation / Peter Dybjer and Andrzej Filinski -- Computing with real numbers / Abbas Edalat and Reinhold Heckmann -- The join calculus : a language for distributed mobile programming / Cédric Fournet and Georges Gonthier -- An introduction to functional nets / Martin Odersky -- Operational semantics and program equivalence / Andrew M. Pitts -- Using, understanding, and unraveling the OCaml language / Didier Rëmy.".
- catalog description "Includes bibliographical references and indexes.".
- catalog extent "vi, 536 p. :".
- catalog hasFormat "Also available via the World Wide Web.".
- catalog identifier "3540440445 (softcover : alk. paper)".
- catalog isFormatOf "Also available via the World Wide Web.".
- catalog isPartOf "Lecture notes in computer science ; 2395.".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2395. Lecture notes in artifical intelligence".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "2002".
- catalog issued "c2002.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog relation "Also available via the World Wide Web.".
- catalog subject "005.13/1 21".
- catalog subject "Computer science.".
- catalog subject "Logic design.".
- catalog subject "Programming languages (Electronic computers) Semantics.".
- catalog subject "QA76.7 .A68 2002".
- catalog tableOfContents "An introduction to dependent type theory / Gilles Barthe and Thierry Coquand -- Monads and effects / Nick Benton, John Hughes, and Eugenio Moggi -- Abstract machines, control, and sequents / Pierre-Louis Curien -- Normalization and partial evaluation / Peter Dybjer and Andrzej Filinski -- Computing with real numbers / Abbas Edalat and Reinhold Heckmann -- The join calculus : a language for distributed mobile programming / Cédric Fournet and Georges Gonthier -- An introduction to functional nets / Martin Odersky -- Operational semantics and program equivalence / Andrew M. Pitts -- Using, understanding, and unraveling the OCaml language / Didier Rëmy.".
- catalog title "Applied semantics : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures / Gilles Barthe ... [et al.] (eds.).".
- catalog type "Caminha (2000) swd".
- catalog type "Kongress. swd".
- catalog type "text".