Title of article
A binary modal logic for the intersection types of lambda-calculus
Author/Authors
Silvio Valentini، نويسنده , , Matteo Viale، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
22
From page
211
To page
232
Journal title
Information and Computation
Serial Year
2003
Journal title
Information and Computation
Record number
262170
Link To Document