The Intensional Lambda Calculus.

Sergei N. Artmov, Eduardo Bonelli

Browse the full LFCS paper archive.