主机名：page-component-848d4c4894-x5gtn总加载时间：0渲染日期：2024-05-15T00:57:17.962Z有数据问题：falsehasContentIssue为false
  • 英语
  • 法国

二元lambda演算中的计数和生成项*

部分： JFP研究文章

剑桥大学出版社在线出版：2015年12月29日

KATARZYNA格雷吉尔 和
皮埃尔·莱斯卡纳
KATARZYNA格雷吉尔
附属：
犹他州贾基隆大学数学与计算机科学学院理论计算机科学系。波兰克拉科夫30-348，ojasiewicza 6教授（电子邮件：grygiel@tcs.uj.edu.pl)
皮埃尔·莱斯卡纳
附属：
里昂大学里昂学院（UMR 5668 CNRS ENS Lyon UCBL INRIA），里昂大学，46 allée d’Italie，69364 Lyon，France（电子邮件：pierre.lescane@ens-lyon.fr)
权限和权限 [在新窗口中打开]

摘要

核心共享和HTML视图不适用于此内容。但是，由于您有权访问此内容，可以通过“保存PDF”操作按钮获得完整的PDF。

在一篇题为二进制lambda演算与组合逻辑John Tromp提出了一种将lambda演算项编码为二进制序列的简单方法。在下文中，我们研究了表示lambda项的给定大小的二进制字符串的数目，并从它们的生成函数中导出结果，特别是大小项的数目n个长得大致像1.963447954。 .n个在第二部分中，我们使用这种方法使用波尔兹曼采样器生成随机lambda项。

类型
文章
问询处
函数编程杂志 ,第25卷 2015年 ，第24页
版权
版权所有©剑桥大学出版社2015

脚注

*

这项工作得到了波兰国家科学中心资助的2013/11/B/ST6/00975号拨款的部分支持。

工具书类

巴彻,答：。,博迪尼,O。&提花机,答：。(2014)通过完整方程对二叉树和一元二叉树进行有效的随机采样。Corr公司,abs/1401.1140.谷歌学者
博迪尼,O。,加迪,D。&吉滕贝格,B。(2011)Lambda-有界一元高度的项。《第八届分析算法与组合数学（ANALCO）研讨会论文集》，（SIAM），美国加利福尼亚州旧金山金门假日酒店，第23-32页。交叉参考谷歌学者
博迪尼,O。,加迪,D。&提花机,答：。(2013a）BCI和BCKλ项的渐近和随机抽样。 西奥。计算。科学。 502,227–238.交叉参考谷歌学者
博迪尼,O。,加迪,D。,吉滕贝格,B。&提花机,答：。(2013b）广义BCI lambda-terms的枚举.选举人。J.库姆。 20 (4),第30页.交叉参考谷歌学者
克莱森,英国。&休斯,J。(2000)快速检查：用于随机测试的轻量级工具哈斯克尔程序。在ICFP中，奥德斯基,M。&瓦德勒,第页。（编辑），ACM，第268-279页。交叉参考谷歌学者
大卫,R。,格里吉尔,英国。,科齐克,J。,拉法利,C、。,他们都是,G.公司。&Zaonc公司,M。(2013)几乎所有λ-项都是强正规化的.日志。方法计算。科学。 9 (1:02),1–30.谷歌学者
德布鲁因,N.G.公司。(1972)带有无名假人的Lambda微积分符号，一种用于自动公式操作的工具，应用于Church-Rosser定理.Indagations数学。 34 (5),381–392.交叉参考谷歌学者
杜雄,第页。,弗拉若莱,第页。,卢沙尔,G.公司。&谢弗,G.公司。(2004)组合结构随机生成的Boltzmann采样器.梳子。可能性。计算。 13 (4–5),577–625.交叉参考谷歌学者
弗拉若莱,第页。爱沙尼亚福西&Pivoteau公司,C、。(2007)未标记结构的玻尔兹曼采样。《第四届分析算法与组合数学研讨会论文集》，美国路易斯安那州新奥尔良市ANALCO，2007年1月6日，第201–211页。交叉参考谷歌学者
弗拉若莱,第页。&塞奇威克,R。(2008)分析组合数学.剑桥大学出版社.谷歌学者
格里吉尔,英国。&莱斯卡纳,第页。(2013)计算并生成lambda项.J.功能。程序。 23 (5),594–628.交叉参考谷歌学者
格里吉尔,英国。&莱斯卡纳,第页。(2014)二进制lambda演算中的计数项。Corr公司,abs/1401.0379。发表于第25届算法分析概率、组合和渐近方法国际会议论文集，网址：https://hal.inia.fr/hal-01077251.谷歌学者
辛德利,J.R.公司。(1997)基本简单类型理论《剑桥理论计算机科学丛书》，第42期，剑桥大学出版社.交叉参考谷歌学者
卡图南,答：。(2015)排名和取消排名功能.OEIS维基。网址：http://oeis.org/wiki/Ranking_and_unranking_functions网站.谷歌学者
克努特,D.E.博士。(2006)计算机编程艺术，第4卷，第4分册：生成所有树，组合生成历史（计算机编程艺术）.出版商.谷歌学者
莱斯卡纳,第页。(1994)从λσ到λν，通过显式替换计算的旅程。在博姆,H。（ed），第21届美国计算机学会编程语言原理年度研讨会论文集，波特兰（美国俄勒冈州），美国计算机学会，第60-69页。谷歌学者
莱斯卡纳,第页。(2013)计算非类型lambda项时。 西奥。计算。科学。,474,80–97.交叉参考谷歌学者
锂,M。&维坦伊,第页。(2008)Kolmogorov复杂性及其应用简介,第3版。,纽约公司:施普林格Verlag.交叉参考谷歌学者
尼詹胡斯,答：。&威尔夫,H.S.公司。(1978)组合算法,第2版。，计算机科学和应用数学，纽约:学术出版社.谷歌学者
佩顿·琼斯,美国。（d）(2003)Haskell 98语言与图书馆：修订报告.剑桥大学出版社.谷歌学者
雷米,J.-L.公司。(1985)联合国阿尔布雷斯·比纳雷斯和勒尔·盖内拉迪亚托雷申请委员会（Un procédéitératif de dénombrement d'arbres binaires et son application a leur génération aléatoire）.意大利税务局 19 (2),179–195.谷歌学者
塔劳,第页。(2015)关于lambda术语的类型定向生成。第31届逻辑程序设计国际会议（ICLP 2015）论文集，网址：http://dblp.uni-trier.de/rec/bibtex/conf/iclp/Tarau15.谷歌学者
特朗普,J。(2006)二进制lambda演算与组合逻辑.英寸Kolmogorov复杂性及其应用,赫特,M。,梅尔克,西。&维坦伊,下午。（编辑），《达格斯图尔研讨会论文集》，第06051卷，《国际学术期刊》-und Forschungszentrum fuer Informatik（IBFI），达格斯图尔宫,德国.谷歌学者
王,J。 2004（5月）。随机程序的高效生成及其应用。马萨诸塞州韦尔斯利韦尔斯利学院荣誉论文。谷歌学者
提交响应

讨论

尚未发布此文章的讨论。