pingu/mambo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fixup! Update sources

Browse Source
This commit is contained in:
pingu
2025-12-30 10:44:03 +01:00
parent 151be77c04
commit ed29a2d98b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -3,6 +3,6 @@
## Resources used ## Resources used
- https://vcvpaiva.github.io/includes/pubs/2011-Basic_Constructive_Modality.pdf - https://vcvpaiva.github.io/includes/pubs/2011-Basic_Constructive_Modality.pdf
- https://arxiv.org/html/2408.16428v1 - https://arxiv.org/html/2408.16428v1
- https://www.sciencedirect.com/science/article/pii/S157106611000037X?ref=pdf_download&fr=RR-2&rr=9b2f4a90ee93dc47 - https://www.sciencedirect.com/science/article/pii/S157106611000037X
- https://builds.openlogicproject.org/courses/boxes-and-diamonds/bd-screen.pdf - https://builds.openlogicproject.org/courses/boxes-and-diamonds/bd-screen.pdf
- https://www.cambridge.org/us/universitypress/subjects/computer-science/programming-languages-and-applied-logic/logic-computer-science-modelling-and-reasoning-about-systems-2nd-edition?format=PB&isbn=9780521543101 - https://www.cambridge.org/us/universitypress/subjects/computer-science/programming-languages-and-applied-logic/logic-computer-science-modelling-and-reasoning-about-systems-2nd-edition?format=PB&isbn=9780521543101