Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
Primary LanguageTeX