On Modular Properties of Higher Order Extensional Lambda Calculi (1997)

Cached

Download Links

by Roberto Di Cosmo , Neil Ghani , Roberto Di , Cosmo Neil Ghani , Ecole Normale Superieure