Chelsea Battell

According to our database¹, Chelsea Battell authored at least 2 papers in 2016.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

Domain Specific Language for Modular Knitting Pattern Definitions: Purl.

[BibT_eX]

[DOI]

CoRR, 2016

The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2016