Prathyush issues

Results 141 issues of


                                            Prathyush

Find where Joyal’s theory of combinatory species finds application

Some references: https://www.cis.upenn.edu/~sweirich/papers/yorgey-thesis.pdf https://ncatlab.org/nlab/show/species

Add details on Milner’s work

- Pi-Calcusu - Calculus of Communicating Systems - Bigraphs

Find out what correspondence holds between generators (yield/run) maps to continuations

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

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

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

Investigate different encoding schemes

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

Examine Combinatorial Species and include where they belong in the text

Add a books section that will help an enthusiast to get an overview of the fields addressed

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

Where does logic programming fit into this?

- Horn Clauses - MiniKanren - Prolog - Datalog

Look at Nada Amin’s work on Towers of Intepreters and Color Schemes

How is Chomsky Hierarchy and Ershov Hierarchy related?

In Algorthmics paper, Gibbons also refer to a boom hierarchy