2009; Physical and Mathematical Sciences, 43(3 (220): 42–51
Shared with The Gufo

ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1

Ara Arakelyan*

Received: 2025-02-27 · Published: 2009-10-04

© 2009 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. 1
Author
Ara Arakelyan
Published
2009-10-04
Licence
Creative Commons Attribution 4.0 International
Original
https://doi.org/10.46991/PYSUA.2009.43.3.042

Abstract

In this paper polymorphic lambda terms are considered, where no type information is provided for the variables. The aim of this work is to extend the algorithm of typification [1] of such terms introducing type constants and term constants.
1 / ? 100% Open in new tab Download Cite

Loading the full text…

Download Follow Updates