Thesis icon

Thesis

Games as mathematics of logic and computation

Abstract:

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

Actions


Access Document


Files:

Authors


More by this author
Department:
University of Minnesota

Contributors

Department:
University of Oxford
Role:
Supervisor
More from this funder
Funding agency for:
Norihiro Yamada
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP