The computational-linguistics tag has no usage guidance.

**8**

votes

**4**answers

794 views

### Why is alpha-equivalence in untyped $\lambda$-calculus substitutive?

This is something all introductory texts seem to avoid proving, and many even avoid stating.
We consider untyped $\lambda$-terms on some countably infinite alphabet. If $x$ is a variable and $p$ is ...

**5**

votes

**9**answers

953 views

### Looking for a collection of entry level proofs

Hi all,
I am looking to do some linguistic analysis of informal proofs. Therefore I am on a search for a collection of entry level proofs written in a clear, uninvolved style. I have one ...

**10**

votes

**3**answers

644 views

### Predicting if something is a code

I'm trying to help a non-mathematical friend by posting a question of his here. He studies literature and has come across a book which is written in a made-up language. The book is hundreds of ...