Jump to Content

A syntactic approach to eta equality in type theory

POPL (2005), pp. 75-84

Abstract

Research Areas