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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=1079524
بازگشت