default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st Category Theory and Computer Science 1985: Guildford, UK
- David H. Pitt, Samson Abramsky
, Axel Poigné, David E. Rydeheard:
Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings. Lecture Notes in Computer Science 240, Springer 1986, ISBN 3-540-17162-2
Tutorials
- Samson Abramsky:
Introduction. 3-6 - David H. Pitt:
Categories. 6-15 - Axel Poigné:
Elements of Categorical Reasoning: Products and Coproducts and some other (Co-) Limits. 16-42 - David E. Rydeheard:
Functors and Natural Transformations. 43-50 - David E. Rydeheard:
Adjunction. 51-57 - Axel Poigné:
Cartesian Closure - Higher Types in Categories. 58-75 - Axel Poigné:
Algebra Categorically. 76-102 - Axel Poigné:
Category Theory and Logic. 103-142 - Eric G. Wagner:
Categories, Data Types and Imperative Languages. 143-162
Research Contributions
Semantics
- Peter Dybjer:
Category Theory and Programming Language Semantics: an Overview. 165-181 - Ernest G. Manes:
Weakest Preconditions: Categorical Insights. 182-197 - Eric G. Wagner:
A Categorical View of Weakest Liberal Preconditions. 198-205 - Robert D. Tennent:
Functor - Category Semantics of Programming Languages and Logics. 206-224 - Michael B. Smyth:
Finite Approximation of Spaces. 225-241 - Eugenio Moggi:
Categories of Partial Morphisms and the lambdap - Calculus. 242-251 - Axel Poigné:
A Note on Distributive Laws and Power Domains. 252-265 - Glynn Winskel:
Category Theory and Models for Parallel Computation. 266-281 - Anna Labella, Alberto Pettorossi:
Categorical Models of Process Cooperation. 282-298 - Austin Melton, David A. Schmidt, George E. Strecker:
Calois Connections and Computer Science Applications. 299-312
Specification
- Joseph A. Goguen, Rod M. Burstall:
A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments. 313-333 - Andrzej Tarlecki:
Bits and Pieces of the Theory of Institutions. 334-365 - Donald Sannella, Andrzej Tarlecki:
Extended ML: an Institution - Independent Framework for Formal Program Development. 364-389 - Horst Reichel:
Behavioral Program Specification. 390-411 - Hans-Dieter Ehrich:
Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics. 412-433
Categorical Logic
- Michael P. Fourman, Steven Vickers:
Theories as Categories. 434-448 - Paul Taylor:
Internal Completeness of Categories of Domains. 449-465 - John Cartmell:
Formalizing the Network and Hierarchical Data Models - an Application of Categorical Logic. 466-492
Categorical Programming
- David E. Rydeheard, Rod M. Burstall:
A Categorical Unification Algorithm. 493-505 - David E. Rydeheard, Rod M. Burstall:
Computing with Categories. 506-519
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-07 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
