Travelled to:1 × Poland
1 × The Netherlands
Collaborated with:M.H.Escardó
Talks about:continu (2) brouwerian (1) interpret (1) inconsist (1) construct (1) principl (1) uniform (1) howard (1) model (1) curri (1)
Person: Chuangjie Xu
DBLP: Xu:Chuangjie
Contributed to:
20152013Wrote 2 papers:
- TLCA-2015-EscardoX #consistency #nondeterminism
- The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation (MHE, CX), pp. 153–164.
- TLCA-2013-XuE
- A Constructive Model of Uniform Continuity (CX, MHE), pp. 236–249.