research
∙
06/13/2023
Logic and computation as combinatorics
The syntactic nature of logic and computation separates them from other ...
share
research
∙
03/24/2022
Game semantics of universes
This work extends the present author's computational game semantics of M...
research
∙
07/16/2020
Game semantics of Martin-Löf type theory, part III: its consistency with Church's thesis
We prove consistency of intensional Martin-Löf type theory (MLTT) with f...
research
∙
12/16/2019
On the Unity of Logic: a Sequential, Unpolarized Approach
The present work aims to give a unity of logic via standard sequential, ...
research
∙
05/03/2019
Game Semantics of Martin-Löf Type Theory
We present game semantics of Martin-Löf type theory (MLTT), which solves...
research
∙
06/27/2018