Tigran Khondkaryan

Member since 2025-02-06

0 published articles

3 shared articles

58 downloads

1,170 views

Published with The Gufo

No articles published with The Gufo yet.

Shared with The Gufo

ON TYPED AND UNTYPED LAMBDA-TERMS

Tigran Khondkaryan

Mathematics

Published 2015-06-12

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

S.A. Nigiyan, Tigran Khondkaryan

Mathematics

ISSN: 1829-1740

DOI: 10.46991/PYSU:A/2017.51.1.046

ON TRANSLATION OF TYPED FUNCTIONAL PROGRAMS INTO UNTYPED FUNCTIONAL PROGRAMS

S.A. Nigiyan, Tigran Khondkaryan

Physics

ISSN: 1829-1740

DOI: 10.46991/PYSU:A/2017.51.2.177