Files in this item

FilesDescriptionFormat

application/zip

application/zipLambda.zip (2MB)
zipped htmlZIP

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


This item appears in the following Collection(s)

Item Statistics