Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Mathematical Structures in Computer Science, Volume 1

> Home > Journals > Mathematical Structures in Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 1, Number 1, March 1991

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CardelliM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CardelliM91
Luca Cardelli, John C. Mitchell:
Operations on Records. 3-48
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Goguen91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Goguen91
Joseph A. Goguen:
A Categorical Manifesto. 49-67
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Marti-OlietM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Marti-OlietM91
Narciso Martí-Oliet, José Meseguer:
From Petri Nets to Linear Logic. 69-101
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Moggi91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Moggi91
Eugenio Moggi:
A Cateogry-Theoretic Account of Program Modules. 103-139

Volume 1, Number 2, July 1991

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/MartinHJ91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/MartinHJ91
C. E. Martin, C. A. R. Hoare, Jifeng He:
Pre-Adjunctions in Order Enriched Categories. 141-158
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Barr91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Barr91
Michael Barr:
*-Autonomous Categories and Linear Logic. 159-178
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CasleyCMP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CasleyCMP91
Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt:
Temporal Structures. 179-213
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/LongoM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/LongoM91
Giuseppe Longo, Eugenio Moggi:
Constructive Natural Deduction and its 'Omega-Set' Interpretation. 215-254

Volume 1, Number 3, November 1991

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Girard91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Girard91
Jean-Yves Girard:
A New Constructive Logic: Classical Logic. 255-296
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/LafontP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/LafontP91
Yves Lafont, Alain Prouté:
Church-Rosser Property and Homology of Monoids. 297-326
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Jacobs91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Jacobs91
Bart Jacobs:
Semantics of the Second Order Lambda Calculus. 327-360
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/EhrigHKP91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/EhrigHKP91
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce:
Parallelism and Concurrency in High-Level Replacement Systems. 361-404

a service of

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.