Daily Document/2021.8.29

From PKC

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"