Sep131:30PM Computer Science Thesis Oral JONATHAN M. STERLING First Steps in Synthetic Tait Computability Virtual Presentation - ET Remote Access - Zoom