italiano | contact

Rewriting Properties of Combinators for Rudimentary Linear Logic

M. Nesi, V. de Paiva and E. Ritter

International Workshop on Higher Order Algebra, Logic and Term Rewriting - HOA'93, Lecture Notes in Computer Science, pagg. 256-275, 1994

Contact: ,



Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›


Numerous articles published in international scientific journals, books, and ...

continua ›

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›