Example image of eyePlorer eyePlorer map for 'Model of computation': Computability Computational complexity theory Computational resource Run time (computing) Lambda calculus Production system Recursion (computer science) Turing machine Model-driven engineering Analysis of algorithms Random access machine Abstract machine Decision tree model Categorical abstract machine Counter machine Formal semantics of programming languages SKI combinator calculus Stack machine Theory of computation Uniformity (complexity) 3SUM Curry–Howard correspondence Element distinctness problem Asymptotically optimal algorithm Closest pair of points problem Computable function Comparison of application virtual machines Ptolemy Project (computing) Worst-case complexity Linear time Pseudorandom generator Ambric Asymptotic computational complexity Blum axioms Programming language theory Random sequence Abstraction (computer science) Computation Decomposition (computer science) Nearest neighbor graph Massively parallel processor array Entscheidungsproblem Consensus (computer science) AI-complete MOC Computability theory Computer science Busy beaver Smalltalk