Games as mathematics of logic and computation
Mathematical logic and theoretical computer science are the mathematical studies of logic and computation, respectively, which largely correspond to each other notably by the Curry-Howard isomorphism. However, logic and computation have been captured mainly syntactically, which may be criticized as conceptually unclear and mathematically cumbersome.
For this point, the field of semantics has been developed, i.e., its main aim is to explain logic and computation by mathematical ...Expand abstract
- Type of award:
- Level of award:
- Awarding institution:
- University of Oxford
- Copyright date: