Questions tagged [combinatory-algebra]
The combinatory-algebra tag has no usage guidance.
3 questions
5
votes
0
answers
228
views
Proper full submodels of full models of type theory
Let $N$ be the standard full model of the simply typed lambda calculus with infinite base type $o$ and let $X$ be an infinite and coinfinite subset of $N(o)$. I want to know if there's a full ...
1
vote
1
answer
313
views
combinator SSS(SS)SS is not strongly normalizing. Why?
I highly speculate that combinator SSS(SS)SS is not strongly normalizing. What is the argument for the non strong normalization?
24
votes
6
answers
39k
views
Difference between a 'calculus' and an 'algebra'
What is really the conceptual difference between a calculus and an algebra.
Eg. Is SKI combinator calculus really a calculus?
A friend claims that free variables are fundamental for a calculus, and ...