Germany

Chuangjie Xu

Advanced
@cj-xu
cj-xu.github.io/

PC19. Course material of the autumn school "Proof and Computation", 20-26 September 2019, Herrsching, Germany

8

OrdinalNotations. An Agda development of ordinal notations based on Cantor normal form via simultaneous definitions

6

GentzenTrans. A monadic translation of Gödel's System T in the spirit of Gentzen's negative translation

5

ContinuityType. This is the Agda implementation of Chuangjie Xu's PhD thesis, namely A Continuous Computational Interpretation of Type Theories

3

PC22. Course material of the autumn school "Proof and Computation", 26 September to 1 October 2022, Fischbachau, Germany

1
5
Apply