7 citations · 12 across the 2 of their papers we have counts for
2 papers
math.RA2009★ 5 cited
Partial Komori fields and imperative Komori fields
J. A. Bergstra, C. A. Middelburg
This paper is concerned with the status of 1/0 and ways to deal with it. These matters are treated in the setting of Komori fields, also known as non-trivial cancellation meadows.…
cs.PL2009★ 7 cited
A progression ring for interfaces of instruction sequences, threads, and services
Jan A. Bergstra, Alban Ponse
We define focus-method interfaces and some connections between such interfaces and instruction sequences, giving rise to instruction sequence components. We provide a flexible and…