A unified category theoretic approach to variable binding.

John Power

Browse the full ICFP paper archive.