Files in this item
Files | Description | Format |
---|---|---|
application/zip ![]() | 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 |