2010; Physical and Mathematical Sciences, 44(1 (221): 37–46
Shared with The Gufo

ON THE TYPE CORRECTNESS OF POLYMORPHIC -TERMS. 2

Ara Arakelyan*

Received: 2025-02-27 · Published: 2010-01-26

© 2010 The Author(s) and the original publisher.

CC BY 4.0 This work is licensed under a Creative Commons Attribution 4.0 International License.
Shared article.
Original title
ON THE TYPE CORRECTNESS OF POLYMORPHIC -TERMS. 2
Author
Ara Arakelyan
Published
2010-01-26
Licence
Creative Commons Attribution 4.0 International
Original
https://doi.org/10.46991/PYSUA.2010.44.1.037

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.
1 / ? 100% Open in new tab Download Cite

Loading the full text…

Download Follow Updates