ISSN: 0960-1295 - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

ISSN 0960-1295

1. $\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. (26th June 2014)

Authors:: EHRIG, HARTMUT; GOLAS, ULRIKE; HABEL, ANNEGRET; LAMBERS, LEEN; OREJAS, FERNANDO
Journal:: Mathematical structures in computer science
Issue:: Volume 24:Number 4(2014)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. $\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. (26th June 2014)

Authors:: EHRIG, HARTMUT; GOLAS, ULRIKE; HABEL, ANNEGRET; LAMBERS, LEEN; OREJAS, FERNANDO
Journal:: Mathematical structures in computer science
Issue:: Volume 24:Number 4(2014)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. A <monospace>MALL</monospace> geometry of interaction based on indexed linear logic. (November 2020)

Journal:: Mathematical structures in computer science
Issue:: Volume 30:Number 10(2020)
Page Start:: 1025
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. A case study in programming coinductive proofs: Howe's method. (31st October 2018)

Authors:: MOMIGLIANO, ALBERTO; PIENTKA, BRIGITTE; THIBODEAU, DAVID
Journal:: Mathematical structures in computer science
Issue:: Volume 29:Number 8(2019)
Page Start:: 1309
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. A categorical view of varieties of ordered algebras. (10th April 2022)

Authors:: Adámek, J.; Dostál, M.; Velebil, J.
Journal:: Mathematical structures in computer science
Issue:: Volume 32:Number 4(2022)
Page Start:: 349
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. A certified implementation of ML with structural polymorphism and recursive types. (May 2015)

Authors:: GARRIGUE, JACQUES
Journal:: Mathematical structures in computer science
Issue:: Volume 25:Number 4(2015)
Page Start:: 867
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

7. A certified lightweight non-interference Java bytecode verifier†. (October 2013)

Authors:: BARTHE, GILLES; PICHARDIE, DAVID; REZK, TAMARA
Journal:: Mathematical structures in computer science
Issue:: Volume 23:Number 5(2013)
Page Start:: 1032
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. A channel-based perspective on conjugate priors. (January 2020)

Authors:: Jacobs, B.
Journal:: Mathematical structures in computer science
Issue:: Volume 30:Number 1(2020)
Page Start:: 44
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. A coalgebraic view on decorated traces. (3rd December 2014)

Authors:: BONCHI, F.; BONSANGUE, M.; CALTAIS, G.; RUTTEN, J.; SILVA, A.
Journal:: Mathematical structures in computer science
Issue:: Volume 26:Number 7(2016)
Page Start:: 1234
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

10. A comparison of concepts from computable analysis and effective descriptive set theory. (23rd June 2016)

Authors:: GREGORIADES, VASSILIOS; KISPÉTER, TAMÁS; PAULY, ARNO
Journal:: Mathematical structures in computer science
Issue:: Volume 27:Number 8(2017)
Page Start:: 1414
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗