Intensional analysis of functions and types

Author(s)

• Constable, R. L. (Robert L.)

Bibliographic Information

Intensional analysis of functions and types

by Robert L. Constable

University of Edinburgh, Department of Computer Science, 1982

Other Title

Internal report: CSR-118-82

Note

Internal report: CSR-118-82

Includes bibliographical references (p.71-74)

Details

• NCID: BA26372387
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Edinburgh
• Pages/Volumes: 74 p.
• Size: 21 cm