Comment by 082349872349872

this looks useful; a modern formalisation: https://eprints.illc.uva.nl/id/eprint/1537/1/MoL-2017-02.tex...