Ellipses and Lambda Definability

DOI10.2168/LMCS-11(3:25)2015zbMath1448.03009arXiv1508.02864OpenAlexW2216922462MaRDI QIDQ3196357

Mayer Goldberg

Publication date: 29 October 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1508.02864

zbMATH Keywords

basesdefinabilitylambda calculusfixed-point combinatorsvariadic functionsarity-generic expressionsLISP/scheme

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Uses Software

• Unnamed Item

This page was built for publication: Ellipses and Lambda Definability