On Zucker's isomorphism for LJ and its extension to Pure Type Systems (2003)

by Felix Joachimski
Citations:1 - 0 self