morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

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

Open prathyvsh opened this issue 4 years ago • 1 comments

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 avatar Sep 30 '20 18:09 prathyvsh

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

prathyvsh avatar Sep 30 '20 18:09 prathyvsh