[312348]: metadata / topics Maximize Restore History

Download this file

topics    31 lines (30 with data), 480 Bytes

Computer Science
  Automata and Formal Languages
  Algorithms
    Distributed
  Data Structures
  Functional Programming
  Programming Languages
    Language Definitions
    Lambda Calculi
    Type Systems
    Logics
    Compiling
    Static Analysis
    Transformations
    Misc
  Security
Logic
  Rewriting
Mathematics
  Algebra
  Analysis
  Number Theory
  Social Choice Theory
  Geometry
  Topology
  Graph Theory
  Combinatorics
  Category Theory
  Misc
  Probability Theory