Found 1 document(s)
Page 1 of 1
-
In 1961, Spector presented an extension of Gödel's system T by a new schema of definition called bar recursion. With this new schema, he was able to give an interpretation of Analysis, extending Gödel's Dialectica interp...