مرکز منطقه ای اطلاع رساني علوم و فناوري - A binary modal logic for the intersection types of lambda-calculus

Title of article :

A binary modal logic for the intersection types of lambda-calculus

Author/Authors :

Silvio Valentini، نويسنده , , Matteo Viale، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2003

Pages :

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 :