University of Illinois Urbana-Champaign

The Isabelle formalization of a general theory of syntax with bindings

Popescu, Andrei

Content Files
Binding_Syntax.zip
Loading…

Permalink

Description

Owning Collections