search

prathyvsh / morphisms-of-computational-structures

A visual catalogue + story of morphisms displayed across computational structures.
https://patternatlas.com/
122 stars 6 forks source link

Understand the relation between mereology, Communicating Sequential Processes, and Lambda Calculus #31

Open prathyvsh opened 4 years ago

prathyvsh commented 4 years ago

Really neat paper here: https://www.forskningsdatabasen.dk/en/catalog/2556781021

This is a good set of slides to go along with it: http://www2.compute.dtu.dk/~dibj/urbino-s.pdf

prathyvsh commented 4 years ago

Lucas Champollion is applying mereology to linguistics.

Nice introduction here: https://ling.auf.net/lingbuzz/002099/current.pdf?_s=Lu4nWasl6_ekNrL9 and a set of lectures on algebraic semantics and mereology: http://champollion.com/wp-content/uploads/2018/07/champollion_lsa2015.pdf