Multilayer Anisotropic Thin Film with a Twist
ISSN: 1829-1171
Submitted: 2026-07-17
Natural Sciences, Physics, 2026
ON THE TYPE CORRECTNESS OF POLYMORPHIC -TERMS. 2
This is an open access article distributed under the
Creative Commons Attribution License, which permits unrestricted use, distribution,
and reproduction in any medium, provided the original work is properly cited.
Submitted: 2025-02-27
© 2026 by author(s) and The Gufo Inc.
This work is licensed under Creative Commons Attribution–NonCommercial International License
(CC BY-NC 4.0).
Abstract
In this paper the polymorphic lambda terms are considered, where no type information is provided for the variables. The aim of this work is to prove that presented typification algorithm [1] typifies such terms in most common way.