Filteren
1
Sorteren
3 resultaten
Serie: Cambridge tracts in theoretical computer science
paperbackEngels396 blz.9780521619332
1e druk
17-2-2005
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Meer
GebondenEngels9781009349697
7-3-2024
This introduction to Stone–Priestley duality theory brings modern tools in the area together in textbook format for the first time and covers applications to logic and theoretical computer science. Meer
GebondenEngels9781108835466
6-2-2025
This definitive treatment of results in category theory and theoretical computer science covers classical material from new viewpoints and develops a wealth of new topics. Meer