Programming in Martin-Löf's type theory : an introduction

Author(s)

Bibliographic Information

Programming in Martin-Löf's type theory : an introduction

Bengt Nordström, Kent Petersson, Jan M. Smith

[Produced by Amazon], 1990

  • : pbk

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. 185-192) and index

Reprint. Originally published: Oxford University Press, 1990

Details

  • NCID
    BC10832391
  • ISBN
    • 9798490129189
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    [Japan]
  • Pages/Volumes
    x, 201 p.
  • Size
    30 cm
Page Top