Skip to content

Issues: prathyvsh/morphisms-of-computational-structures

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

54 Open 1 Closed
54 Open 1 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Track the link between entropy and differential geometry
#55 opened Nov 27, 2022 by prathyvsh
Non-Wellfoundedness and Foundations
#54 opened Dec 10, 2021 by prathyvsh
Trace the history of origin of operational and denotational semantics
#53 opened Jun 2, 2021 by prathyvsh
1
Write up about the work of Lambek
#52 opened May 27, 2021 by prathyvsh
Deductive Systems
#50 opened May 15, 2021 by prathyvsh
Review “The Mathematics of Programming” by Tony Hoare
#49 opened Jan 29, 2021 by prathyvsh
Incorporate original works section into the prose
#48 opened Jan 28, 2021 by prathyvsh
Create a schematic between data and process duality
#47 opened Jan 28, 2021 by prathyvsh
Von Neumann algebras and Jones Polynomials
#46 opened Jan 23, 2021 by prathyvsh
Examine this paper: On the Origins of Bisimulation and Coinduction
#45 opened Dec 26, 2020 by prathyvsh
2
Analyze how situational logic and topology via constructive logic intertwines
#44 opened Dec 21, 2020 by prathyvsh
Track the history of topology and topos theory
#43 opened Nov 30, 2020 by prathyvsh
Mention the work of Daniel Tubbenhauer
#42 opened Nov 30, 2020 by prathyvsh
Add the work of Paul Taylor
#41 opened Nov 30, 2020 by prathyvsh
Integrate the paper on synthetic topology
#40 opened Nov 4, 2020 by prathyvsh
Terrance Tao question asking for a Turing Complete group
#39 opened Nov 1, 2020 by prathyvsh
Connections between telescopes, contexts, substitutions, pi types, and scope
#38 opened Oct 27, 2020 by prathyvsh
Mathematical theories of abstractions
#37 opened Oct 26, 2020 by prathyvsh
19
Relationship between probabilistic programming and continuation
#36 opened Oct 26, 2020 by prathyvsh
Interesting paper: Finite Computational Structures and Implementations
#35 opened Oct 22, 2020 by prathyvsh
Topological interpretation of Interactive Computation
#34 opened Oct 22, 2020 by prathyvsh
Investigate bisimulation as a logical relation
#33 opened Oct 22, 2020 by prathyvsh
2
Understand the implication of Knaster-Tarski Theorem
#32 opened Oct 1, 2020 by prathyvsh
Understand the relation between mereology, Communicating Sequential Processes, and Lambda Calculus
#31 opened Sep 30, 2020 by prathyvsh
1
Understand Stone duality and Stone spaces
#30 opened Sep 29, 2020 by prathyvsh
ProTip! Exclude everything labeled bug with -label:bug.