Questions tagged [lisp]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
17 votes
2 answers
2k views

How is Lambda Calculus a specific type of Term Writing system?

Church was associated with the Simply Typed Lambda Calculus. Indeed, it seems he explained the Simply Typed Lambda Calculus in order to reduce misunderstanding about the Lambda Calculus. When John ...
hawkeye's user avatar
  • 2,581
0 votes
1 answer
92 views

Can we design our own `if` clause in Normal Order evaluation

I have been reading SICP and have been thinking over a thing for quite some time related to evaluation using Substitution with ...
Jatin's user avatar
  • 185
18 votes
1 answer
3k views

Historic Relationship between Typed Lambda Calculus and Lisp?

I was having a discussion with a friend recently (who is an advocate of strongly typed languages). He made the comment: The inventors of Lambda Calculus always intended it to be typed. Now we can ...
hawkeye's user avatar
  • 2,581
13 votes
1 answer
501 views

Is contextual equivalence of a language with `quote`-`eval` trivial or not?

In [1], Mitchell Wand demonstrated that adding fexprs to the pure lambda calculus trivializes the theory of contextual equivalence, meaning two terms are contextually equivalent iff they are $\alpha$-...
day's user avatar
  • 2,785
4 votes
2 answers
302 views

Mathematical explanation of recursion and lambda (referenced in The Little Schemer)

In the preface of Friedman and Felleisen's book The Little Schemer it states: We could, for example, describe the entire technical content of this book in less than a page of mathematics, but a ...
hawkeye's user avatar
  • 2,581