prathyvsh morphisms-of-computational-structures issues

prathyvsh / morphisms-of-computational-structures

A visual catalogue + story of morphisms displayed across computational structures.

https://patternatlas.com/

120 stars 6 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Track the link between entropy and differential geometry

#55 prathyvsh opened 1 year ago
0
Non-Wellfoundedness and Foundations

#54 prathyvsh opened 2 years ago
0
Trace the history of origin of operational and denotational semantics

#53 prathyvsh opened 3 years ago
1
Write up about the work of Lambek

#52 prathyvsh opened 3 years ago
0
Thank you

#51 jaapterwoerds closed 3 years ago
3
Deductive Systems

#50 prathyvsh opened 3 years ago
0
Review “The Mathematics of Programming” by Tony Hoare

#49 prathyvsh opened 3 years ago
0
Incorporate original works section into the prose

#48 prathyvsh opened 3 years ago
0
Create a schematic between data and process duality

#47 prathyvsh opened 3 years ago
0
Von Neumann algebras and Jones Polynomials

#46 prathyvsh opened 3 years ago
0
Examine this paper: On the Origins of Bisimulation and Coinduction

#45 prathyvsh opened 3 years ago
2
Analyze how situational logic and topology via constructive logic intertwines

#44 prathyvsh opened 3 years ago
0
Track the history of topology and topos theory

#43 prathyvsh opened 3 years ago
0
Mention the work of Daniel Tubbenhauer

#42 prathyvsh opened 3 years ago
0
Add the work of Paul Taylor

#41 prathyvsh opened 3 years ago
0
Integrate the paper on synthetic topology

#40 prathyvsh opened 3 years ago
0
Terrance Tao question asking for a Turing Complete group

#39 prathyvsh opened 3 years ago
0
Connections between telescopes, contexts, substitutions, pi types, and scope

#38 prathyvsh opened 3 years ago
0
Mathematical theories of abstractions

#37 prathyvsh opened 3 years ago
19
Relationship between probabilistic programming and continuation

#36 prathyvsh opened 3 years ago
0
Interesting paper: Finite Computational Structures and Implementations

#35 prathyvsh opened 3 years ago
0
Topological interpretation of Interactive Computation

#34 prathyvsh opened 3 years ago
0
Investigate bisimulation as a logical relation

#33 prathyvsh opened 3 years ago
2
Understand the implication of Knaster-Tarski Theorem

#32 prathyvsh opened 4 years ago
0
Understand the relation between mereology, Communicating Sequential Processes, and Lambda Calculus

#31 prathyvsh opened 4 years ago
1
Understand Stone duality and Stone spaces

#30 prathyvsh opened 4 years ago
0
Investigate the work of Eduardo Ochs

#29 prathyvsh opened 4 years ago
0
Evaluate these papers

#28 prathyvsh opened 4 years ago
0
Fixed points and diagonalization

#27 prathyvsh opened 4 years ago
0
Find out about rational languages and their genesis

#26 prathyvsh opened 4 years ago
0
Investigate "Mathematical Foundations for a Compositional Distributional Model of Meaning by Bob Coecke, Mehrnoosh Sadrzadeh, and Stephen Clark"

#25 prathyvsh opened 4 years ago
0
Investigate "Sheaving—a universal construction for semantic compositionality"

#24 prathyvsh opened 4 years ago
0
Have a look at the idea of Polarity

#23 prathyvsh opened 4 years ago
0
Investigate the link between automata and algebra

#22 prathyvsh opened 4 years ago
0
Investigate the link between CPS, Peirce’s Law, Intuitionistic Logic, and Classical Logic

#21 prathyvsh opened 4 years ago
6
Investigate Abstract Interpretation

#20 prathyvsh opened 4 years ago
0
Find out the intellectual roots of Geometry of Interaction

#19 prathyvsh opened 4 years ago
0
Find where Joyal’s theory of combinatory species finds application

#18 prathyvsh opened 4 years ago
0
Add details on Milner’s work

#17 prathyvsh opened 4 years ago
0
Understand how coalgebra helps in modal logic

#16 prathyvsh opened 4 years ago
2
Investigate different encoding schemes

#15 prathyvsh opened 4 years ago
1
Examine Combinatorial Species and include where they belong in the text

#14 prathyvsh opened 4 years ago
0
Add a books section that will help an enthusiast to get an overview of the fields addressed

#13 prathyvsh opened 4 years ago
0
Work out a bibliography trail of Origami programming by Bird/Merteens/Gibbons et. al.

#12 prathyvsh opened 4 years ago
1
Where does logic programming fit into this?

#11 prathyvsh opened 4 years ago
0
Look at Nada Amin’s work on Towers of Intepreters and Color Schemes

#10 prathyvsh opened 4 years ago
0
How is Chomsky Hierarchy and Ershov Hierarchy related?

#9 prathyvsh opened 4 years ago
0
What is profunctor optics? How does it figure in the scheme of things?

#8 prathyvsh opened 4 years ago
0
Investigate Call by Name, Call by Value, Call by Push Value

#7 prathyvsh opened 4 years ago
0
Add Shift/Reset and Felleisen’s operator

#6 prathyvsh opened 4 years ago
0