A syntactic approach to eta equality in type theory

POPL(2005), pp. 75-84

Abstract

Research Areas