7 citations · 10 across the 3 of their papers we have counts for
3 papers
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…
math.RA2008★ 3 cited
Differential Meadows
Jan A. Bergstra, Alban Ponse
A meadow is a zero totalised field (0^{-1}=0), and a cancellation meadow is a meadow without proper zero divisors. In this paper we consider differential meadows, i.e., meadows equ…
cs.LO2007
Tuplix Calculus
J. A. Bergstra, A. Ponse, M. B. van der Zwaag
We introduce a calculus for tuplices, which are expressions that generalize matrices and vectors. Tuplices have an underlying data type for quantities that are taken from a zero-to…