Domains in H
Article in Theoretical Computer Science (August 2001)
The most recent citing publication is shown below. View this citation on Dimensions.
Category Theory and Computer Science
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 16 Control structures: A model of interaction
-
Altmetric BadgeChapter 17 Convenient category of processes and simulations I: Modulo strong bisimilarity
-
Altmetric BadgeChapter 18 Dualities between nets and automata induced by schizophrenic objects
-
Altmetric BadgeChapter 19 Relational set theory
-
Altmetric BadgeChapter 20 Proof of a S.Mac Lane conjecture (extended abstract)
-
Altmetric BadgeChapter 21 Effective applicative structures
-
Altmetric BadgeChapter 22 The S-replete construction
-
Altmetric BadgeChapter 23 Category Theory and Computer Science
-
Altmetric BadgeChapter 24 Category Theory and Computer Science
-
Altmetric BadgeChapter 25 Categorical fixed point calculus
-
Altmetric BadgeChapter 26 A category-theoretic treatment of a parallel algol-like language
-
Altmetric BadgeChapter 27 Categorical reconstruction of a reduction free normalization proof
-
Altmetric BadgeChapter 28 Decomposing typed lambda calculus into a couple of categorical programming languages
-
Altmetric BadgeChapter 29 V-comprehensions and P space
-
Altmetric BadgeChapter 30 A proposed categorical semantics for ML modules
Attention for Chapter 28:
Decomposing typed lambda calculus into a couple of categorical programming languages