Ara Arakelyan

Member since 2025-02-22

0 published articles

3 shared articles

50 downloads

1,367 views

Published with The Gufo

No articles published with The Gufo yet.

Shared with The Gufo

ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1

Ara Arakelyan

Mathematics

Published 2009-10-04

ON THE TYPE CORRECTNESS OF POLYMORPHIC -TERMS. 2

Ara Arakelyan

Physics

Published 2010-01-26

UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS

Ara Arakelyan

Mathematics

Published 2011-02-16