Programming Channel Processes

See The Polyadic pi-Calculus: A Tutorial and https://github.com/IanANGrant/red-october/.../AbstractArray.sml, which shows I don't really know what I'm 🦜 ing about! 

Sorry, I have tried several times to make Robin's tutorial available in a PDF but there are always problems of one sort or another. Try this, but YMMV: https://courses.cs.vt.edu/~cs5204/fall02/Papers/PICalculus/milner_4.pdf Google (chrome, maybe?) seems to deliberately corrupt the URL's and Semantic Scholar links don't work for me either. [Update: you can get a PDF from the Edinburgh server, just you have to know the secret URL: https://era.ed.ac.uk/bitstream/handle/1842/6050/ECS-LFCS-91-180.pdf! See Alice's Adventures In The Wonderland Wide Web].

Comments

Post a Comment

Popular posts from this blog

Steven Johnson - So You Think You Know How to Take Derivatives?

Image
A derivative is linearisation, and differential calculus is essentially linear algebra, ...  See  Freya Holmér - Why Can't You Multiply Vectors?  and  Freya Holmér on Continuity of Splines . See also the MIT OCW page:  Matrix Calculus For Machine Learning And Beyond  (Alan Edelman, Steven G. Johnson) Subscribe to The Julia Programming Language . Alan Edelman talking about expressing mathematics as computer code. The idea is that you can use computer languages to communicate mathematical ideas precisely to other people. See my comments about functional programming languages here:  https://prooftoys.org/ian-grant/hm/ Subscribe to TEDx Talks .
Read more

Live Science - Leonardo da Vinci's Ancestry

Image
... and his posterity too? See  On Communication in Linear Time And Hypertext And The Gospel of Sophia . So it looks like El Cielo of the cistine [sic!😂] chapel is not the limit anymore.  I think I just met one of his descendents. A guy called Versailles Toledo who is from Chiapas. That might explain the murals I mention in my recent untitled post , just before the post mentioning this video. I also just took this photo of Rafael Gonzales, born here in Tecate, B.C., who told me about a spring near here called Agua Fría , half way from Tecate to Loma Tova , where, a few decades ago, people used to go to have barbecues and stuff, but now he thinks it may be private land. If someone reading this has a Facebook account, please write a link to this post onto his FB page. To see why I took the photo, look at his T-shirt and the horse-shoes and ponder this: Subscribe to BeatrizER and her video(s?) about mathematical logic, ... Sounds like Edith (II) Rix has been online all the t...
Read more