The Isabelle formalization of a general theory of syntax with bindings

Content Files

Binding_Syntax.zip

Permalink

https://hdl.handle.net/2142/17423

Title: The Isabelle formalization of a general theory of syntax with bindings
Author(s): Popescu, Andrei
Contributor(s): Gunter, Elsa L.
Issue Date: 2010
Keyword(s): syntax with bindings, Isabelle, theorem proving
Date of Ingest: 2010-12-01T15:56:31Z
Abstract: This is a browsable html document presenting an Isabelle formalization of a general theory of syntax with static bindings and substitution.
Type of Resource: other
Genre of Resource: Other
Language: en
Permalink: http://hdl.handle.net/2142/17423