Strong normalization and typability with intersection types

Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке: https://open.uns.ac.rs/handle/123456789/13811

Назив:	Strong normalization and typability with intersection types
Аутори:	Gilezan, Silvia
Датум издавања:	1-јан-1996
Часопис:	Notre Dame Journal of Formal Logic
Сажетак:	A simple proof is given of the property that the set of strongly normalizing lambda terms coincides with the set of lambda terms typable in certain intersection type assignment systems. © 1996 by the University of Notre Dame. All rights reserved.
URI:	https://open.uns.ac.rs/handle/123456789/13811
ISSN:	294527
DOI:	10.1305/ndjfl/1040067315
Налази се у колекцијама:	FTN Publikacije/Publications