Matches in Harvard for { <http://id.lib.harvard.edu/aleph/006135606/catalog> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- catalog contributor b8589408.
- catalog contributor b8589409.
- catalog contributor b8589410.
- catalog contributor b8589411.
- catalog created "c1995.".
- catalog date "1995".
- catalog date "c1995.".
- catalog dateCopyrighted "c1995.".
- catalog description "Control structures : a model of interaction / Robin Milner -- Convenient category of processes and simulations I : modulo strong bisimilarity / Dusko Pavlovic -- Dualities between nets and automata induced by schizophrenic objects / Eric Badouel and Philippe Darondeau -- Relational set theory / Yasuo Kawahara -- Proof of a S. Mac Lane conjecture / S. Soloviev -- Effective applicative structures / Andrea Asperti and Agata Ciabattoni -- The S-replete construction / J.M.E. Hyland and E. Moggi -- The convex powerdomain in a category of posets realized by CPOs / Alex K. Simpson -- Lifting as a KZ-doctrine / Marcelo P. Fiore -- Categorical fixed point calculus / Roland Backhouse ... [et al.] -- A category-theoretic treatment of a parallel algol-like language / Stephen Brookes -- Categorical reconstruction of a reduction free normalization proof / Thorsten Altenkirch, Martin Hofmann and Thomas Streicher -- Decomposing typed lambda calculus into a couple of categorical programming languages / Masahito Hasegawa -- V-comprehensions and P space / J.R. Otto, Jr. -- A proposed categorical semantics for ML modules / Michael Fourman and Hayo Thielecke.".
- catalog description "Includes bibliographical references.".
- catalog extent "252 p. :".
- catalog identifier "3540601643 (alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 953".
- catalog issued "1995".
- catalog issued "c1995.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.13/1 20".
- catalog subject "Categories (Mathematics) Congresses.".
- catalog subject "Computer programming Congresses.".
- catalog subject "QA76.6 .B53 1995".
- catalog tableOfContents "Control structures : a model of interaction / Robin Milner -- Convenient category of processes and simulations I : modulo strong bisimilarity / Dusko Pavlovic -- Dualities between nets and automata induced by schizophrenic objects / Eric Badouel and Philippe Darondeau -- Relational set theory / Yasuo Kawahara -- Proof of a S. Mac Lane conjecture / S. Soloviev -- Effective applicative structures / Andrea Asperti and Agata Ciabattoni -- The S-replete construction / J.M.E. Hyland and E. Moggi -- The convex powerdomain in a category of posets realized by CPOs / Alex K. Simpson -- Lifting as a KZ-doctrine / Marcelo P. Fiore -- Categorical fixed point calculus / Roland Backhouse ... [et al.] -- A category-theoretic treatment of a parallel algol-like language / Stephen Brookes -- Categorical reconstruction of a reduction free normalization proof / Thorsten Altenkirch, Martin Hofmann and Thomas Streicher -- Decomposing typed lambda calculus into a couple of categorical programming languages / Masahito Hasegawa -- V-comprehensions and P space / J.R. Otto, Jr. -- A proposed categorical semantics for ML modules / Michael Fourman and Hayo Thielecke.".
- catalog title "Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings / David Pitt, David E. Rydeheard, Peter Johnstone, eds.".
- catalog type "Cambridge (1995) swd".
- catalog type "Conference proceedings. fast".
- catalog type "text".