Content deleted Content added
Added {{Distinguish|Interactive computing}} |
→See also: If we have computability logic here, we might as well have cirquent calculus here too. |
||
Line 7:
==See also==
*[[Human-based computation]]
*[[Cirquent calculus]]
*[[Computability logic]]
*[[Game semantics]]
|