INTRODUCTORY SIDE EFFECT ALGEBRA

An extra tool as a formal method for reasoning about side effects

• DoubleX
• 04/30/2017 02:51 AM
• 1447 views

The original html file can be found in my Github. Please open it with a browser supporting Math ML, like Firefox.