Danielle Marshall
Scholar

Danielle Marshall

Google Scholar ID: 2nWmN2EAAAAJ
Research Associate, University of Glasgow
programming languagescategory theorymathematical logic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
72
 
H-index
4
 
i10-index
3
 
Publications
8
 
Co-authors
4
list available
Contact
No contact links provided.
Publications
8 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
4 total
Dominic Orchard
Dominic Orchard
School of Computing, University of Kent and Computer Laboratory, University of Cambridge
Michael Vollmer
Michael Vollmer
University of Kent
Jack Hughes
Jack Hughes
Research Associate, University of Kent
Co-author 4
Co-author 4