ALGEBRAS AND COMBINATORS

被引：43

作者：

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
REWRITING TECHNIQUES AND APPLICATIONS, 1998, 1379 : 302 - 316
[2] Hard combinators
Bechet, Denis
Lippi, Sylvain
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 203 (01) : 31 - 48
[3] LINEARIZING COMBINATORS
Cockett, Robin
Lemay, Jean-Simon Pacaud
THEORY AND APPLICATIONS OF CATEGORIES, 2022, 38
[4] Storage Combinators
Weiher, Marcel
Hirschfeld, Robert
PROCEEDINGS OF THE 2019 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE (ONWARD!' 19), 2019, : 111 - 127
[5] SPACES WITH COMBINATORS
GEORGIEVA, N
ARCHIVE FOR MATHEMATICAL LOGIC, 1993, 32 (05) : 321 - 339
[6] CATEGORICAL COMBINATORS
CURIEN, PL
INFORMATION AND CONTROL, 1986, 69 (1-3): : 188 - 254
[7] Evolving combinators
Fuchs, M
AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 416 - 430
[8] Pickler combinators
Kennedy, AJ
JOURNAL OF FUNCTIONAL PROGRAMMING, 2004, 14 : 727 - 739
[9] Combinators as presheaves
Gangle, Rocco
Tohme, Fernando
Caterina, Gianluca
LOGIC JOURNAL OF THE IGPL, 2024,
[10] Search combinators
Tom Schrijvers
Guido Tack
Pieter Wuille
Horst Samulowitz
Peter J. Stuckey
Constraints, 2013, 18 : 269 - 305