Logical frameworks

Author(s)

Bibliographic Information

Logical frameworks

edited by Gérard Huet, G. Plotkin

Cambridge Univ. Press, 1991

Available at  / 14 libraries

Search this Book/Journal

Note

Includes bibliographical references

Details

  • NCID
    BA13055031
  • ISBN
    • 0521413001
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Cambridge
  • Pages/Volumes
    xii, 403 p.
  • Size
    24 cm
Page Top