Title of article :
Prelogical Relations
Author/Authors :
Furio Honsell، نويسنده , , Donald Sannella، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Pages :
21
From page :
23
To page :
43
Keywords :
datarefinement. , Semantics , typed lambda calculus , representation independence , logical relations
Journal title :
Information and Computation
Serial Year :
2002
Journal title :
Information and Computation
Record number :
262079
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=262079
بازگشت