A. H. Arakelyan, “On the type correctness of polymorphic $\lambda$-terms. 1”, Proceedings of the YSU, Physical and Mathematical Sciences, 2009, no. 3, 42

Proceedings of the Yerevan State University, series Physical and Mathematical Sciences

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Proceedings of the YSU, Physical and Mathematical Sciences:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

Proceedings of the Yerevan State University, series Physical and Mathematical Sciences, 2009, Issue 3, Pages 42–51 (Mi uzeru235)

This article is cited in 1 scientific paper (total in 1 paper)

Informatics

On the type correctness of polymorphic $\lambda$-terms. 1

A. H. Arakelyan

Chair of Programming and Information Thechnologies YSU, Armenia

Full-text PDF (321 kB) Citations (1)

References:

PDF

HTML

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.

Keywords: type, term, constraint, skeleton, expansion, typing.

Received: 06.04.2009
Accepted: 05.06.2009

Document Type: Article

Language: English

Citation: A. H. Arakelyan, “On the type correctness of polymorphic $\lambda$-terms. 1”, Proceedings of the YSU, Physical and Mathematical Sciences, 2009, no. 3, 42–51

Citation in format AMSBIB

\Bibitem{Ara09}

\by A.~H.~Arakelyan

\paper On the type correctness of polymorphic  $\lambda$-terms. 1

\jour Proceedings of the YSU, Physical  and Mathematical Sciences

\yr 2009

\issue 3

\pages 42--51

\mathnet{http://mi.mathnet.ru/uzeru235}

Linking options:

https://www.mathnet.ru/eng/uzeru235

https://www.mathnet.ru/eng/uzeru/y2009/i3/p42

Cycle of papers

On the type correctness of polymorphic $\lambda$-terms. 1
A. H. Arakelyan
Proceedings of the YSU, Physical and Mathematical Sciences, 2009:3, 42–51
On the type correctness of polymorphic $\lambda$-terms. 2
A. H. Arakelyan
Proceedings of the YSU, Physical and Mathematical Sciences, 2010:1, 37–46

This publication is cited in the following 1 articles:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Proceedings of the Yerevan State University, series Physical and Mathematical Sciences

Statistics & downloads:
Abstract page:	71
Full-text PDF :	28
References:	28

Что такое QR-код?

Registration to the website

Logotypes