David Grigoryan

Member since 2025-01-30

0 published articles

4 shared articles

4 downloads

3,163 views

Published with The Gufo

No articles published with The Gufo yet.

Shared with The Gufo

A NECESSARY AND SUFFICIENT CONDITION FOR THE UNIQUENESSOFβ δ-NORMAL FORM OF TYPEDλ-TERMS FOR THE CANONICALNOTION OFδ-REDUCTION

David GRIGORYAN

Mathematics

DOI: 10.46991/PYSU:A/2019.53.1.028

ON THE UNIQUENESS OF β δ-NORMAL FORM OF TYPEDλ-TERMSFOR THE CANONICAL NOTION OF δ-REDUCTION

David Grigoryan

Mathematics

DOI: 10.46991/PYSU:A/2019.53.1.037

ON MAIN CANONICAL NOTION OF δ-REDUCTION

David Grigoryan

Mathematics

DOI: 10.46991/PYSU:A/2018.52.3.191

ON INCOMPARABILITY OF INTERPRETATION ALGORITHMS OF TYPED FUNCTIONAL PROGRAMS WITH RESPECT TO UNDEFINED VALUE

David Grigoryan

Mathematics

DOI: 10.46991/PYSU:A/2018.52.2.109