This page compiles pointers related to:
Samson Abramsky et al. (eds.)
Handbook of Logic in Computer Science
Oxford University Press (1995)
on formal logic in computer science.
(…)
(…)
On domain theory:
On data-type theory in programming languages:
(…)
On categorical semantics and the categorical model of dependent types:
(…)
Last revised on January 22, 2023 at 10:26:36. See the history of this page for a list of all contributions to it.