Intensional analysis of functions and types

Author(s)

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

Available at  / 1 libraries

Search this Book/Journal

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
Page Top