Conflicting accounts of \(\lambda\)-definability
type: Item
instance of: scholarly article
title: Conflicting accounts of \(\lambda\)-definability
zbMATH Open document ID: 1403.03020
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2017-02-22T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 6688095
author: Barry Jay
author: J. David Vergara
MaRDI profile type: Publication
full work available at URL: j.jlamp.2016.11.001
OpenAlex ID: W2558783835
cites work: Q4912847
cites work: Pattern Calculus
cites work: Programs as data structures in \(\lambda\)SF-calculus
cites work: A combinatory account of internal structure
cites work: First-class patterns
cites work: Q2778824
cites work: Q5812175
DOI: 10.1016/J.JLAMP.2016.11.001
description: scientific article; zbMATH DE number 6688095