1.Previous
3.Next

* External memory model

Functional models

Functional models include:
* Abstract rewriting systems
* Combinatory logic
* General recursive functions
* Lambda calculus

Concurrent models

Concurrent models include:
* Actor model

1.Previous
3.Next