↓ Skip to main content
What is this page? Embed badge

Category Theory and Computer Science

Overview of attention for book
Cover of 'Category Theory and Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 16 Control structures: A model of interaction
  3. Altmetric Badge
    Chapter 17 Convenient category of processes and simulations I: Modulo strong bisimilarity
  4. Altmetric Badge
    Chapter 18 Dualities between nets and automata induced by schizophrenic objects
  5. Altmetric Badge
    Chapter 19 Relational set theory
  6. Altmetric Badge
    Chapter 20 Proof of a S.Mac Lane conjecture (extended abstract)
  7. Altmetric Badge
    Chapter 21 Effective applicative structures
  8. Altmetric Badge
    Chapter 22 The S-replete construction
  9. Altmetric Badge
    Chapter 23 Category Theory and Computer Science
  10. Altmetric Badge
    Chapter 24 Category Theory and Computer Science
  11. Altmetric Badge
    Chapter 25 Categorical fixed point calculus
  12. Altmetric Badge
    Chapter 26 A category-theoretic treatment of a parallel algol-like language
  13. Altmetric Badge
    Chapter 27 Categorical reconstruction of a reduction free normalization proof
  14. Altmetric Badge
    Chapter 28 Decomposing typed lambda calculus into a couple of categorical programming languages
  15. Altmetric Badge
    Chapter 29 V-comprehensions and P space
  16. Altmetric Badge
    Chapter 30 A proposed categorical semantics for ML modules
Attention for Chapter 29: V-comprehensions and P space
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
Summary Dimensions citations
So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.