The Isabelle formalization of a general theory of syntax with bindings, with lambda-calculus case studies included

Permalink

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

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.
Issue Date: 2010
Keyword(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.
Type of Resource: text
Permalink: http://hdl.handle.net/2142/17424