A variadic extension of Curry's fixed-point combinator

DOI10.1007/s10990-005-4881-8zbMath1083.68015OpenAlexW2121105821MaRDI QIDQ812092

Mayer Goldberg

Publication date: 23 January 2006

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-005-4881-8

zbMATH Keywords

fixed pointslambda calculusSchemeapplicative orderfixed-point combinatorsvariadic functions

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (1)

The first-order syntax of variadic functions

Uses Software

• APL

Cites Work

• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Lisp in Small Pieces
• The Mechanical Evaluation of Expressions
• The þ-function in λ-K-conversion

This page was built for publication: A variadic extension of Curry's fixed-point combinator