Unique normal forms for lambda calculus with surjective pairing
- 作者J.W. Klop; R.C. de Vrijer
- 卷第80卷
- 期第2期
- 印刷ISSN0890-5401
- 电子ISSN1090-2651
- 文件大小841.81KB
- 发表时间1989
- DOI10.1016/0890-5401(89)90014-x
- 页码97-113
Corrigendum for manuscript CAIC 1046416 CorrigendumAIDS Care · 2016
Corrigendum: Corrigendum: Adjustment and Equity in Developing CountriesThe Economic Journal · 1997
Corrigendum: The Savers-Spenders Theory of Fiscal Policy: CorrigendumN. Gregory Mankiw · The American Economic Review · 2005
Corrigendum zum Corrigendum zu ZPE 169, 2009, 87-88 (Epigramm auf Hyllos)Michael Gronewald · Zeitschrift für Papyrologie und Epigraphik · 2009
Corrigendum Pseudo-Scylax's Periplus: Text, Translation, and Commentary – CorrigendumClarke, Katherine · The Journal of Hellenic Studies · 2013
CORRIGENDUM OF CORRIGENDUM. DESIGN CHARTS FOR PRESTRESSED CONCRETE BEAMS FORMING A DECK.ROBERTSON, R G · Proceedings of the Institution of Civil Engineers · 1959
CORRIGENDUM: Vetting the Advocacy Agenda: Network Centrality and the Paradox of Weapons Norms—CORRIGENDUMR. Charli Carpenter · International Organization · 2012
Corrigendum Frosting on the cake: pictures on food packaging bias serving size – CORRIGENDUMBrand, John; Wansink, Brian; Cohen, Abby · Public Health Nutrition · 2017
The synthesis of communication protocolsFoto Afrati; Christos H. Papadimitriou; George Papageorgiou · Algorithmica · 1988
The complexity of cubical graphsFoto Afrati; Christos H. Papadimitriou; George Papageorgiou · 1985
On the convergence of query evaluationFoto Afrati; Christos H. Papadimitriou; George Papageorgiou; Athena Roussou; Yehoshua Sagiv; Jeffrey D. Ullman · 1989