S.A. Nigiyan

0 published articles

2 shared articles

19 downloads

862 views

Published with The Gufo

No articles published with The Gufo yet.

Shared with The Gufo

ON TRANSLATION OF TYPED FUNCTIONAL PROGRAMS INTO UNTYPED FUNCTIONAL PROGRAMS

S.A. Nigiyan, Tigran Khondkaryan

Physics

DOI: 10.46991/PYSU:A/2017.51.2.177

ON CANONICAL NOTION OF δ-REDUCTION AND ON TRANSLATION OFTYPEDλ-TERMS INTO UNTYPED λ-TERMS

S.A. Nigiyan, Tigran Khondkaryan

Mathematics

DOI: 10.46991/PYSU:A/2017.51.1.046