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