Files in this item

FilesDescriptionFormat

application/zip

application/zipBinding_Syntax.zip (3MB)
zipped htmlZIP

Description

Title:The Isabelle formalization of a general theory of syntax with bindings
Author(s):Popescu, Andrei
Contributor(s):Gunter, Elsa L.
Subject(s):syntax with bindings, Isabelle, theorem proving
Abstract:This is a browsable html document presenting an Isabelle formalization of a general theory of syntax with static bindings and substitution.
Issue Date:2010
Genre:Other
Type:Other
Language:English
URI:http://hdl.handle.net/2142/17423
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