nLab Handbook of Logic in Computer Science

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.


Volume 1 – Background: Mathematical Structures


Volume 2 – Background: Computational structures


Volume 3 – Semantic structures

On domain theory:

On denotational semantics:

  • Robert D. Tennet?: Denotational semantics

  • Eric Wagner: Algebraic semantics

On data-type theory in programming languages:

Volume 4 – Semantic Modelling


Volume 5 – Logic and Algebraic Methods

On categorical semantics and the categorical model of dependent types:


category: reference

Last revised on January 22, 2023 at 10:26:36. See the history of this page for a list of all contributions to it.