Combinator operations
From MaRDI portal
Publication:1227001
DOI10.1007/BF02121666zbMath0329.02009MaRDI QIDQ1227001
Publication date: 1976
Published in: Studia Logica (Search for Journal in Brave)
03B40: Combinatory logic and lambda calculus
Related Items
Development of Specific hypothesis tests for estimated markov chains, A Markov Analysis of the Service System for Severe Mental Illness
Cites Work