nLab Category — computer science

Overview

The nLab has 30 pages in this category.

Pages

• A Categorical Manifesto
• automaton
• blockchain
• computer science
• concurrency theory
• cryptography
• denotational semantics
• deterministic automaton
• digital identity
• distributed computing
• domain theory
• EOS
• factorization category
• Hayo Thielecke
• higher dimensional transition system
• IoT
• models for concurrency
• multiagent system
• Peter O'Hearn
• Petri net
• quantum computation
• rewriting
• Robin Milner
• Rust
• semantics of a programming language
• smart contract
• transition system
• Ulrich Schöpp
• Vitalik Buterin
• WebAssembly