An extended calculus of constructions

Author(s)

Bibliographic Information

An extended calculus of constructions

zhaohui Luo

University of Edinburgh, Department of Computer Science, 1990

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliography (p. 171-183)

Author's thesis (Ph.D.)--University of Edinbungh, 1990.7

CST-65-90 (also published as ECS-LFCS-90-118)

Details

  • NCID
    BC14598423
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Edinburgh
  • Pages/Volumes
    ix, 191 p.
  • Size
    21 cm
Page Top