hide
Title:
Logical Frameworks
Source Genre:
Book
Creator(s):
Huet, Gérard1, Editor
Plotkin, Gordon1, Editor
Affiliations:
1
External Organizations, ou_persistent22
Publ. Info:
Cambridge : Cambridge University Press
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
90 - 119
Identifier:
-