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
Post a Comment