<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-10-30 13:20:15Combinatory logic Logic in computer science Function IsaPlanner Mathematics Mathematical logic Lambda calculus |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2013-10-30 13:20:15Combinatory logic Logic in computer science Function IsaPlanner Mathematics Mathematical logic Lambda calculus |
Add to Reading List |
Representing “why’s” a proof language for IsaPlanner Gudmund Grov (Edinburgh) & Lucas Dixon (Google) Sponsored by: EPSRC funded AI4FM project, Bundy’s platform grants & Google Wednesday, 27 April 2011