* Lambda-Term (f x) (x f) translated to Ocaml?
@ 2006-03-28 0:07 Oliver Bandel
2006-03-31 20:58 ` [Caml-list] " Thomas Fischbacher
0 siblings, 1 reply; 2+ messages in thread
From: Oliver Bandel @ 2006-03-28 0:07 UTC (permalink / raw)
To: caml-list
Hello,
I'm not firm in lambda calculus, what is the lambda-term
in the subject translated to OCaml?
Is this possible?
And how will it be evaluated?
Any hint is welcome.
TIA,
Oliver Bandel
P.S.: Also welcome is a "Lambda-Calculus for Dummies" recommendation
on literature (or web-links). ;-)
^ permalink raw reply [flat|nested] 2+ messages in thread* Re: [Caml-list] Lambda-Term (f x) (x f) translated to Ocaml? 2006-03-28 0:07 Lambda-Term (f x) (x f) translated to Ocaml? Oliver Bandel @ 2006-03-31 20:58 ` Thomas Fischbacher 0 siblings, 0 replies; 2+ messages in thread From: Thomas Fischbacher @ 2006-03-31 20:58 UTC (permalink / raw) To: Oliver Bandel; +Cc: caml-list > P.S.: Also welcome is a "Lambda-Calculus for Dummies" recommendation > on literature (or web-links). ;-) Crash Course: http://www.cip.physik.uni-muenchen.de/~tf/lambda/aei And furthermore - as you are german anyway: http://www.cip.physik.uni-muenchen.de/~tf/lambda I would not say that this material is of sufficiently high quality to publish it in a book (I consider it to be only ~90% correct, for example), but I think it nevertheless is reasonably okay. -- regards, tf@cip.physik.uni-muenchen.de (o_ Thomas Fischbacher - http://www.cip.physik.uni-muenchen.de/~tf //\ (lambda (n) ((lambda (p q r) (p p q r)) (lambda (g x y) V_/_ (if (= x 0) y (g g (- x 1) (* x y)))) n 1)) (Debian GNU) ^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2006-03-31 20:58 UTC | newest] Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2006-03-28 0:07 Lambda-Term (f x) (x f) translated to Ocaml? Oliver Bandel 2006-03-31 20:58 ` [Caml-list] " Thomas Fischbacher
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).