addressalign-toparrow-leftarrow-leftarrow-right-10x10arrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcredit-cardcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobe--smallglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1languagelaunch-new-window--smalllight-bulblinklocation-pinlockm-swarmSearchmailmediummessagesminusmobilemoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahooyoutube

SF Types, Theorems, and Programming Languages Message Board Textbooks We Have Worked Through › Pass through PLFA starting May 2019

Pass through PLFA starting May 2019

Adrian K.
user 13024413
Group Organizer
El Cerrito, CA
Post #: 32
Philip Wadler's "Programming Language Foundations in Agda" (https://plfa.github.i...­.

Start, 13 May 2019: https://www.meetup.co...­

Chapter 1: Naturals, 10 June 2019: https://www.meetup.co...­

Chapter 2: Induction, 24 June 2019: https://www.meetup.co...­

Chapter 3: Relations, 8 July 2019: https://www.meetup.co...­

Chapter 4: Equality, 22 July 2019: https://www.meetup.co...­

Chapter 5: Isomorphism, 5 August 2019: https://www.meetup.co...­

Chapter 6: Connectives, 19 August 2019: https://www.meetup.co...­

Chapter 7: Negation, 29 August 2019: https://www.meetup.co...­

Chapter 8: Quantifiers, 16 September 2019: https://www.meetup.co...­

Chapter 9: Decidable, 30 September 2019: https://www.meetup.co...­

Chapter 9: Decidable (second attempt), 14 October 2019: https://www.meetup.co...­

Chapter 10: Lists, 28 October 2019: https://www.meetup.co...­

Upcoming:

Chapter 11: Lambda, 27 January 2020: https://www.meetup.co...­
Powered by mvnForum

People in this
group are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy