Page 1 of 1

Paper by Martin Escardo

Posted: Sat Jan 20, 2024 1:14 am
by Ollie.ha
https://www.cs.bham.ac.uk/~mhe/papers/o ... evised.pdf

Can anyone explain the first two equations for me?
I got a good grip on it but missing real life feedback.