Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/13811
Title: | Strong normalization and typability with intersection types | Authors: | Gilezan, Silvia | Issue Date: | 1-Jan-1996 | Journal: | Notre Dame Journal of Formal Logic | Abstract: | 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 |
Appears in Collections: | FTN Publikacije/Publications |
Show full item record
SCOPUSTM
Citations
28
checked on Sep 9, 2023
Page view(s)
42
Last Week
1
1
Last month
1
1
checked on Mar 15, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.