Tigran Khondkaryan

Member since 2025-02-06

0 published articles

3 shared articles

4 downloads

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

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

Tigran Khondkaryan

Mathematics

DOI: 10.46991/PYSU:A/2017.51.1.046

ON TYPED AND UNTYPED LAMBDA-TERMS

Tigran Khondkaryan

Mathematics

DOI: 10.46991/PYSUA.2015.49.2.045