Document Preview Unavailable
In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming
You might have access to this document
-
Try and log in through your institution to see if they have access to the full text.
Log in through your library