Napier's combinators and Böhm's λogarhythms (2021) [pdf]

 (docs.hancock.fastmail.fm.user.fm)

1 points | by aebtebeten  9 hours ago

No comments yet.