3 ms·
A formal account regarding what the author puts as effects and pre conditions https://arxiv.org/abs/1001.1662 https://arxiv.org/abs/1001.1662
by qazxcvbnm 2y ago
A formal account regarding what the author puts as effects and pre conditions https://arxiv.org/abs/1001.1662 https://arxiv.org/abs/1001.1662