13 citations · 14 across the 2 of their papers we have counts for
1 paper · 1 filter
Jonas Frey
We investigate a framework of Krivine realizability with I/O effects, and present a method of associating realizability models to specifications on the I/O behavior of processes, b…