Compiling with the Sequent Calculus
Details
*** PLEASE NOTE THAT WE ARE MEETING ON SUNDAY, NOT SATURDAY ***
Let's read Compiling with the Sequent Calculus by Müller et al. (https://proofmatters.slack.com/files/U344CV9U0/F09UWEEEVNY/compiling-sc.pdf), then get together to discuss it.
We'll meet over Zoom and post the meeting URL here a few minutes before meeting start time.
AI summary
By Meetup
Online reading group for logic/CS researchers; topic: sequent-calculus compilation; format: Zoom-based online discussion; outcome: group discussion of paper.
AI summary
By Meetup
Online reading group for logic/CS researchers; topic: sequent-calculus compilation; format: Zoom-based online discussion; outcome: group discussion of paper.