ALGEBRAS AND COMBINATORS

被引：40

作者：

ENGELER, E ^{[1
]}

机构：

[1] SWISS FED INST TECHNOL,CH-8092 ZURICH,SWITZERLAND

来源：

关键词：

D O I：

10.1007/BF02483849

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：389 / 392

页数：4

共 50 条

[1] SN combinators and partial combinatory algebras
Akama, Y
[J]. REWRITING TECHNIQUES AND APPLICATIONS, 1998, 1379 : 302 - 316
[2] LINEARIZING COMBINATORS
Cockett, Robin
Lemay, Jean-Simon Pacaud
[J]. THEORY AND APPLICATIONS OF CATEGORIES, 2022, 38
[3] Hard combinators
Bechet, Denis
Lippi, Sylvain
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 203 (01) : 31 - 48
[4] Evolving combinators
Fuchs, M
[J]. AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 416 - 430
[5] Pickler combinators
Kennedy, AJ
[J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2004, 14 : 727 - 739
[6] CATEGORICAL COMBINATORS
CURIEN, PL
[J]. INFORMATION AND CONTROL, 1986, 69 (1-3): : 188 - 254
[7] SPACES WITH COMBINATORS
GEORGIEVA, N
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 1993, 32 (05) : 321 - 339
[8] Storage Combinators
Weiher, Marcel
Hirschfeld, Robert
[J]. PROCEEDINGS OF THE 2019 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE (ONWARD!' 19), 2019, : 111 - 127
[9] Combinators as presheaves
Gangle, Rocco
Tohme, Fernando
Caterina, Gianluca
[J]. LOGIC JOURNAL OF THE IGPL, 2024,
[10] Constraint combinators
不详
[J]. PROGRAMMING CONSTRAINT SERVICES, 2002, 2302 : 105 - 116