default search action

combined dblp search
author search
venue search
publication search

ask others

2nd Category Theory and Computer Science 1987: Edinburgh, UK

> Home > Conferences and Workshops > Category Theory and Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/1987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/1987
David H. Pitt, Axel Poigné, David E. Rydeheard:
Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings. Lecture Notes in Computer Science 283, Springer 1987, ISBN 3-540-18508-9
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Rosolini87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Rosolini87
Giuseppe Rosolini:
Categories and Effective Computations. 1-11
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Pitts87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Pitts87
Andrew M. Pitts:
Polymorphism is Set Theoretic, Constructively. 12-39
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/CoquandE87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/CoquandE87
Thierry Coquand, Thomas Ehrhard:
An Equational Presentation of Higher Order Logic. 40-56
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/KasangianLP87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/KasangianLP87
Stefano Kasangian, Anna Labella, Alberto Pettorossi:
Enriched Categories for Local and Interaction Calculi. 57-70
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Benson87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Benson87
David B. Benson:
The Category of Milner Processes is Exact. 71-97
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Winskel87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Winskel87
Glynn Winskel:
Relating Two Models of Hardware. 98-113
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/RydeheardS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/RydeheardS87
David E. Rydeheard, John G. Stell:
Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms. 114-139
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Hagino87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Hagino87
Tatsuya Hagino:
A Typed Lambda Calculus with Categorical Type Constructors. 140-157
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/MossMG87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/MossMG87
Lawrence S. Moss, José Meseguer, Joseph A. Goguen:
Final Algebras, Cosemicomputable Algebras, and Degrees of Unsolvability. 158-181
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Bernot87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Bernot87
Gilles Bernot:
Good Functors... are Those Preserving Philosophy. 182-195
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/BeierleV87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/BeierleV87
Christoph Beierle, Angi Voß:
Viewing Implementations as an Institution. 196-218
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Martini87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Martini87
Simone Martini:
An Interval Model for Second-Order Lambda Calculus. 219-237
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Robinson87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Robinson87
Edmund Robinson:
Logical Aspects of Denotational Semantics. 238-253
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Proietti87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Proietti87
Maurizio Proietti:
Connections Between Partial Maps Categories and Triops Theory. 254-269
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Vickers87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Vickers87
Steven Vickers:
A Fixpoint Construction of the p-adic Domain. 270-289
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/McDillMS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/McDillMS87
J. M. McDill, Austin Melton, George E. Strecker:
A Category of Galois Connections. 290-300

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.