Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Continuity of Gödel's System T Definable Functionals via Effectful Forcing
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.01 |
The goal of this note is to show the uniform continuity of definable functional in intuitionistic type theory as an application of forcing with dependent type theory.