On Modular Properties of Higher Order Extensional Lambda Calculi.

Roberto Di Cosmo, Neil Ghani

Browse the full ICALP paper archive.