'bound-variable' Questions - SpiceQA

Questions Tags Users Badges

bound-variable

2 Questions

Newest Active Unanswered Frequent

Are variables bounded to free variables still free variables?

user_121692370

• asked Oct 29, 2021

2

1

37

bound-variable free-variable variables functional-programming

Is it possible to write a data structure or data structures that represent only closed terms in Haskell or any other language?

user_109381710

• asked May 29, 2021

7

3

404

bound-variable lambda-calculus expression haskell

1 (current)

Hot Questions