Minimal forms inλ-cakulus computations

DOI10.2307/2273363zbMath0451.03002OpenAlexW1571037535MaRDI QIDQ3897031

Silvio Micali

Publication date: 1980

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273363

zbMATH Keywords

lambda calculuscomputation modelminimal formKnuth-Gross reduction strategy

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Combinatory logic and lambda calculus (03B40) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

One-step recurrent terms in \(\lambda\)-\(\beta\)-calculus

This page was built for publication: Minimal forms inλ-cakulus computations