Mathematical Structures in Computer Science

Journal Abbreviation: MATH STRUCT COMP SCI
ISSN: 0960-1295
Publisher: Cambridge University Press (CUP)

Publications (3)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

A point-free perspective on lax extensions and predicate liftings (2023) Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Journal article Finitary monads on the category of posets (2021) Ford M, Adámek J, Milius S, Schröder L Journal article, Original article On outward and inward productions in the categorical graph-grammar approach and Delta-grammars (1996) Schneider HJ Journal article, Original article