Impredicative Strong Existential Equivalent to Type:Type

File(s)

Permanent Link(s)

Collections

Author

Hook, James G.

Howe, Douglas J.

Abstract

ABSTRACT NOT SUPPLIED

Date Issued

1986-06

Publisher

Cornell University

Keywords

•

Previously Published as

http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR86-760

Type

technical report