Files in this item
| Files | Description | Format |
|---|---|---|
|
application/zip  Lambda.zip (2MB) | zipped html | ZIP |
Description
| Title: | The Isabelle formalization of a general theory of syntax with bindings, with lambda-calculus case studies included |
| Author(s): | Popescu, Andrei |
| Contributor(s): | Gunter, Elsa L. |
| Subject(s): | syntax with bindings, lambda-clculus, Isabelle formalization |
| Abstract: | This document presents and Isabelle formalization of a general theory of syntax with bindings. It also includes some case studies from the theory of lambda-calculus. |
| Issue Date: | 2010 |
| Genre: | Other |
| Type: | Text |
| URI: | http://hdl.handle.net/2142/17424 |
| Publication Status: | unpublished |
| Peer Reviewed: | not peer reviewed |
| Date Available in IDEALS: | 2010-12-01 |