16 citations · 106 across the 22 of their papers we have counts for
Showing 2011Show all
3 papers · 1 filter
cs.PL2011★ 2 cited
On the behaviours produced by instruction sequences under execution
J. A. Bergstra, C. A. Middelburg
We study several aspects of the behaviours produced by instruction sequences under execution in the setting of the algebraic theory of processes known as ACP. We use ACP to describ…
q-fin.GN2011★ 7 cited
Interest prohibition and financial product innovation
J. A. Bergstra, C. A. Middelburg
We give a rough sketch of the Judaic, Greek, Islamic and Christian positions in the matter of interest prohibition during the last few millennia and discuss the way in which intere…
q-fin.GN2011★ 3 cited
An Application Specific Informal Logic for Interest Prohibition Theory
J. A. Bergstra, C. A. Middelburg
Interest prohibition theory concerns theoretical aspects of interest prohibition. We attempt to lay down some aspects of interest prohibition theory wrapped in a larger framework o…