Comparing Cubes of Typed and Type Assignment Systems (2009)
Steffen Bakel, Simona Ronchi Rocca\lambda, Pawel Urzyczyny
Abstract We study the cube of type assignment systems, as introduced in [13], and confront it with Barendregt's typed *-cube [4]. The first is obtained from the latter through applying a natural...