Report on the Type Theory (V3) of the Programming Logic PL/CV3

File(s)

Permanent Link(s)

Collections

Author

Constable, Robert L.

Zlatin, Daniel R.

Abstract

NO ABSTRACT SUPPLIED

Date Issued

1981-06

Publisher

Cornell University

Keywords

•

Previously Published as

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

Type

technical report