The Photogenic Purlieus of Cambridge

I meant John Reynolds, see Definitional Interpreters for Higher-Order Programming Languages.

See https://www.cl.cam.ac.uk/~jrh13/ and his Handbook of Practical Logic and Automated Reasoning. The Standard ML code is https://github.com/logic-tools/sml-handbook (WTF?! See First-Order Logic According to Harrison by Alexander Birch Jensen, Anders Schlichtkrull and Jørgen Villadsen).

See Purlieu:

Denez Prigent - Gortoz A Ran

Subscribe to Denez Official.

Roxy Music - Oh Yeah


Subscribe to Dixie Blue.

See Radio @ The Roxy

For Katie in Jo'burg

See Hello Brain! @ The Francis Crick Institute



And here's one I prepared earlier:

Back to the photogenic purlieus of Cambridge:



Jennifer Rush - Wings of Desire

Subscribe to Jennifer Rush.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023