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