BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
1 × The Netherlands
Collaborated with:
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 DBLP: Xu:Chuangjie

Contributed to:

TLCA 20152015
TLCA 20132013

Wrote 2 papers:

TLCA-2015-EscardoX #consistency #nondeterminism
The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation (MHE, CX), pp. 153–164.
A Constructive Model of Uniform Continuity (CX, MHE), pp. 236–249.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.