morphisms-of-computational-structures

morphisms-of-computational-structures copied to clipboard

- Pi-Calcusu - Calculus of Communicating Systems - Bigraphs

prathyvsh

Relevant paper: http://parametricity.net/dropbox/yield.subc.pdf

prathyvsh

Work out a bibliography trail of Origami programming by Bird/Merteens/Gibbons et. al.

1

Possible starting point: https://archive.alvb.in/msc/11_infomtpt/papers/origami-programming_Gibbons.pdf

prathyvsh

Investigate different encoding schemes

1

http://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html

prathyvsh

prathyvsh

Algebra: A Concrete Approach to Abstract Algebra (W. W. Sawyer): https://archive.org/details/AConcreteApproachToAbstractAlgebra Abstract algebra: A Computational Approach (Charles Sims). A Book of Algebra: Pinter

prathyvsh

- Horn Clauses - MiniKanren - Prolog - Datalog

prathyvsh

prathyvsh

In Algorthmics paper, Gibbons also refer to a boom hierarchy

prathyvsh

prathyvsh