Hugo Elbers

Learn More
Logical formal systems are ineecient at computations. In order to increase their eeciency, we aim to extend these systems with computational power. In this paper, we suggest a general, powerful syntax, called oracle types, to extend type theories with computational power; the resulting systems, which combine the logical abilities of logical formal systems(More)
  • 1