zbMath0437.03025MaRDI QIDQ3877673
Dimiter Skordev
Publication date: 1976
zbMATH Keywords
search computabilityiterative combinatory spacequasirecursivity
Mathematics Subject Classification ID
Abstract data types; algebraic specification (68Q65) Computability and recursion theory (03D99) Combinatory logic and lambda calculus (03B40)
Related Items