On exponentiating exponentiation (1981)

by E Nelson
Venue:J. of Pure and Applied Algebra
Add To MetaCart
Results 1 - 1 of 1

Semantics of Local Variables

by P.W. O'Hearn, R. D. Tennent , 1992
"... This expository article discusses recent progress on the problem of giving sufficiently abstract semantics to local-variable declarations in Algol-like languages, especially work using categorical methods. ..."
Abstract - Cited by 35 (4 self) - Add to MetaCart
This expository article discusses recent progress on the problem of giving sufficiently abstract semantics to local-variable declarations in Algol-like languages, especially work using categorical methods.