The Isabelle formalization of a general theory of syntax with bindings

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
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
Language: en
Permalink: http://hdl.handle.net/2142/17423