Howe's method for higher-order languages

Andrew M. Pitts. Howe's method for higher-order languages. In Davide Sangiorgi, Jan J. M. M. Rutten, editors, Advanced Topics in Bisimulation and Coinduction. Volume 52 of Cambridge tracts in theoretical computer science, pages 197-232, Cambridge University Press, 2012.

Abstract

Abstract is missing.