Formalizing and Automating Shortcut Fusion Through Church Encodings

Eben Rogers


Date: Mon, June 24, 2024
Time: 12:30
Room: Social Data Lab
Note: This is a MSc thesis defense



Previous: Kayleigh Lieverse |
Next: Willem Stuijt Giacaman |