The Expressive Power of Intensional Logic in the Semantics of Programming Languages.

Theo M. V. Janssen, Peter van Emde Boas

Browse the full MFCS paper archive.