default search action

combined dblp search
author search
venue search
publication search

ask others

4th Category Theory and Computer Science 1991: Paris, France

> 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/1991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/1991
David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard:
Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings. Lecture Notes in Computer Science 530, Springer 1991, ISBN 3-540-54495-X
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/EhrhardM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/EhrhardM91
Thomas Ehrhard, Pasquale Malacaria:
Stone Duality for Stable Functions. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Amadio91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Amadio91
Roberto M. Amadio:
Bifinite Domains: Stable Case. 16-33
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Tennent91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Tennent91
Robert D. Tennent:
Local Variables and Non-Interference in Algol-like Languages. 34-36
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/EdalatS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/EdalatS91
Abbas Edalat, Michael B. Smyth:
Categories of Information Systems. 37-52
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/HoofmanS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/HoofmanS91
Raymond Hoofman, Harold Schellinx:
Collapsing Graph Models by Preorders. 53-73
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/OHearn91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/OHearn91
Peter W. O'Hearn:
Linear Logic and Interference Control. 74-93
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Burroni91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Burroni91
Albert Burroni:
Higher Dimensional Word Problem. 94-105
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Hirokawa91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Hirokawa91
Sachio Hirokawa:
BCK-Formulas Having Unique Proofs. 106-120
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Blute91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Blute91
Richard Blute:
Proof Nets and Coherence Theorems. 121-137
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Moggi91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Moggi91
Eugenio Moggi:
A Modular Approach to Denotational Semantics. 138-139
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Jarzembski91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Jarzembski91
Grzegorz Jarzembski:
Programs in Partial Algebras - a Categorical Approach. 140-150
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Jay91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Jay91
C. Barry Jay:
Tail Recursion from Universal Invariants. 151-163
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Coquand91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Coquand91
Thierry Coquand:
A Direct Proof of the Intuitionistic Ramsey Theorem. 164-172
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Pavlovic91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Pavlovic91
Dusko Pavlovic:
Constructions and Predicates. 173-196
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/JacobsMS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/JacobsMS91
Bart Jacobs, Eugenio Moggi, Thomas Streicher:
Relating Models of Impredicative Type Theories. 197-218
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Phoa91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Phoa91
Wesley Phoa:
Two Results on Set-Theoretic Polymorphism. 219-235
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/CorradiniM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/CorradiniM91
Andrea Corradini, Ugo Montanari:
An Algebra of Graphs and Graph Rewriting. 236-260
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Stark91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Stark91
Eugene W. Stark:
Dataflow Networks are Fibrations. 261-281
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/DeganoKV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/DeganoKV91
Pierpaolo Degano, Stefano Kasangian, Sebastiano Vigna:
Applications of the Calculus of Trees to Process Description Languages. 282-301

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.