A birkhoff-like theorem for algebraic classes of interpretations of program schemes: For calvin elgot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'A birkhoff-like theorem for algebraic classes of interpretations of program schemes: For calvin elgot'. Together they form a unique fingerprint.