Tigran Khondkaryan

Member since 2025-02-06

0 published articles

3 shared articles

26 downloads

1,112 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

ON TYPED AND UNTYPED LAMBDA-TERMS

Tigran Khondkaryan

Mathematics

Published 2015-06-12