Ara Arakelyan

Member since 2025-02-22

0 published articles

3 shared articles

22 downloads

1,295 views

Published with The Gufo

No articles published with The Gufo yet.

Shared with The Gufo

UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS

Ara Arakelyan

Mathematics

Published 2011-02-16

ON THE TYPE CORRECTNESS OF POLYMORPHIC -TERMS. 2

Ara Arakelyan

Physics

Published 2010-01-26

ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1

Ara Arakelyan

Mathematics

Published 2009-10-04