scientific article
From MaRDI portal
Publication:3787446
zbMath0644.68024MaRDI QIDQ3787446
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
\(\lambda \)-calculusrecursively defined functionscontrolled reductionlist-handling extensionsnormal form for \(\lambda \)- expressionsoperational semantics for functional programs
Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)
This page was built for publication:
