在偏演算中探讨与约简交换的约简系统

Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001. Pub Date : 2001-06-19 DOI:10.1109/ITI.2001.938046

S. Gaborovic

{"title":"在偏演算中探讨与约简交换的约简系统","authors":"S. Gaborovic","doi":"10.1109/ITI.2001.938046","DOIUrl":null,"url":null,"abstract":"We imposed directionality in the relation assigning to restriction in the partial lambda calculus to obtain a reduction system. Investigation of such reduction systems gave some results concerning confluence in the past which we believe can be sharpened.","PeriodicalId":375405,"journal":{"name":"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.","volume":"365 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Toward a reduction system commuting with beta reduction in the partial lambda calculus\",\"authors\":\"S. Gaborovic\",\"doi\":\"10.1109/ITI.2001.938046\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We imposed directionality in the relation assigning to restriction in the partial lambda calculus to obtain a reduction system. Investigation of such reduction systems gave some results concerning confluence in the past which we believe can be sharpened.\",\"PeriodicalId\":375405,\"journal\":{\"name\":\"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.\",\"volume\":\"365 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-06-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ITI.2001.938046\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ITI.2001.938046","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

我们在偏演算中的限制关系中加入了方向性，从而得到了一个约简系统。对这类还原系统的研究给出了一些关于过去合流的结果，我们认为这些结果可以得到加强。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Toward a reduction system commuting with beta reduction in the partial lambda calculus

We imposed directionality in the relation assigning to restriction in the partial lambda calculus to obtain a reduction system. Investigation of such reduction systems gave some results concerning confluence in the past which we believe can be sharpened.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.

自引率

0.00%

发文量

期刊最新文献

Representing time-dependent information in Multidimensional XML Supplement to development of priority rule model in production management information system Modelling continuing professional development in an innovative context Conceptual learning of cardiac anomalies and surgeries Variable selection in discriminant analysis in the presence of outliers