Logical frameworks

RecordNumber
2156
Author
Gerard Huet
Title
Logical frameworks
Publication
Cambridge University Press
Publication Year
1991
Collation
404
ISBN
0521413001
Link To Document :
http://dl.iust.ac.ir/dL/search/default.aspx?Term=2156&Field=0&DTC=11

Gerard Huet