Daily Document/2021.8.29

From PKC

Revision as of 10:02, 29 August 2021 by KevinTung (talk | contribs) (Created page with "{{Activity |Date=2021-08-29 |Person=@KevinTung }} ==Context and Goal== ==To-Do== ==Progress== https://en.wikipedia.org/wiki/Axiom_schema https://en.wikipedia.org/wiki/Combi...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Date	2021-08-29
Person	@KevinTung

Context and Goal

To-Do

Progress

https://en.wikipedia.org/wiki/Axiom_schema https://en.wikipedia.org/wiki/Combinatory_logic https://en.wikipedia.org/wiki/Intuitionistic_logic https://www.cs.cornell.edu/courses/cs3110/2021sp/textbook/adv/curry-howard.html https://prism.ucalgary.ca/bitstream/handle/1880/112761/Zach%20-%202019%20-%20The%20Significance%20of%20the%20Curry-Howard%20Isomorphism.pdf?sequence=1&isAllowed=y

Conclusion

Retrieved from "https://pkc.pub/index.php?title=Daily_Document/2021.8.29&oldid=10757"