Content deleted Content added
No edit summary |
Swerdnaneb (talk | contribs) |
||
Line 6:
*[[Human-based computation]]
*[[Computability logic]]
*[[Game semantics]]
*[[Interactive programming]]
|
No edit summary |
|||
Line 6:
*[[Human-based computation]]
*[[Computability logic]]
*[[Game semantics]]
*[[Interactive programming]]
|