Index Catalog // STAX

Start Over

Filtering by: Contributor McBride, Conor Resource type http://purl.org/coar/resource_type/c_db06

Syntaxes with binding, their programs, and proofs

Creator:

Allais, Guillaume Xavier

Date:

2022

Department, School or Faculty:

Department of Computer and Information Sciences