A constructive manifestation of the Kleene–Kreisel continuous functionals

Martín Escardó, Chuangjie Xu

Research output: Contribution to conference (unpublished)Paperpeer-review

Fingerprint

Dive into the research topics of 'A constructive manifestation of the Kleene–Kreisel continuous functionals'. Together they form a unique fingerprint.

Engineering & Materials Science