4 ms·
The Haskell Road to Maths, Logic and Programming by Kees Doats and Jan van Eijck may be of interest to you. https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR/ https
by Jtsummers 4y ago
The Haskell Road to Maths, Logic and Programming by Kees Doats and Jan van Eijck may be of interest to you.
https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR/ https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR/