Observable properties of higher order functions that dynamically create local names, or: What's new?

Pitts, Andrew M. ; Stark, Ian D. B. Borzyszkowski, Andrzej M. ; Sokołowski, Stefan

Mathematical Foundations of Computer Science 1993, 2005, p.122-141 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível