A lambda-revelation of the SECD machine (2003)

by Olivier Danvy
Citations:3 - 3 self