research
∙
01/24/2022
BTPK-based learning: An Interpretable Method for Named Entity Recognition
Named entity recognition (NER) is an essential task in natural language ...
share
research
∙
06/30/2020
Frege's theory of types
There is a widespread assumption in type theory that the discipline begi...
research
∙
06/30/2020
Sense, reference, and computation
In this paper, I revisit Frege's theory of sense and reference in the co...
research
∙
11/13/2019
Naive cubical type theory
This paper proposes a way of doing type theory informally, assuming a cu...
research
∙
10/03/2019
A Henkin-style completeness proof for the modal logic S5
This paper presents a recent formalization of a Henkin-style completenes...
research
∙
06/22/2018
