Title of article
Basic simple type theory: J. Roger Hindley, Cambridge Tracts in Theoretical Computer Science Vol. 42 (Cambridge University Press, 1997) ISBN 0 521 46518 4
Author/Authors
Nissim Francez، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 1998
Pages
3
From page
211
To page
213
Journal title
Science of Computer Programming
Serial Year
1998
Journal title
Science of Computer Programming
Record number
1079524
Link To Document