The Lambda Calculator
The Lambda Calculator is a free program for Windows, Mac, and Linux that enables students to work through derivations in lambda notation while getting automatic feedback. (Instructors can set problems and compute derivations automatically in class.) From its website:
The Lambda Calculator is an interactive, graphical application to help students of natural language semantics practice derivations in the typed lambda calculus. It is designed for both students and teachers, with modules for online classroom instruction, graded homework assignments, and self-guided practice.
The primary function is to assist in the computation of natural language denotations up a syntactic tree in the style of Heim & Kratzer (1998). To this end, the program detects common errors and attempts to provide intelligent feedback to the student user and a record of performance for the instructor.
More detailed information can be found in this paper. Not affiliated with the calculator, but also relevant, is this tutorial page of exercises in lambda reduction. For a more basic introduction, see the lambda calculus for absolute dummies.
It looks very useful and I wish I’d had it when I took semantics!
Don't miss out on any interesting linguistics! Get my monthly newsletter in your inbox.
Notes
ravelsj liked this
countessalmaviva liked this
freehacksandroidios liked this 
phileodontist liked this arcadiafireflies reblogged this from allthingslinguistic
flowerboysandramyun liked this
strawberryavalanchexo liked this listeningtoyoursmile liked this
trojanwarcriminal reblogged this from allthingslinguistic
moebius-stripper reblogged this from allthingslinguistic
faewrites liked this
thesizeofmyshins liked this
trans-caffinated reblogged this from allthingslinguistic - trans-caffinated liked this
resources-for-ling-students reblogged this from allthingslinguistic
yrer liked this
turquoiseorchid liked this
wil-sha-blog liked this
nillacat liked this
seouliloquy reblogged this from linguisten
tulkasastaldo liked this
linguisten reblogged this from allthingslinguistic
jetnefer liked this
a-skull-full-of-chocolate reblogged this from allthingslinguistic
faehoney liked this translunarytree reblogged this from allthingslinguistic
anjeni-nimisiw liked this
0nimi reblogged this from science-of-noise tsukihanna liked this
science-of-noise reblogged this from reaj3asa and added:
Wow, this looks really cool! I may have to share it with my class tomorrow.
reaj3asa reblogged this from allthingslinguistic 
adropofsun liked this adultifying-myself liked this
- dizzywug reblogged this from allthingslinguistic
- dizzywug liked this
allthingslinguistic posted this
- Show more notes