University of Illinois Urbana-Champaign

The Isabelle formalization of a general theory of syntax with bindings

Popescu, Andrei

Loading…

Permalink

Description

Owning Collections