1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Jaap van Oosten
We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures a…