Research output per year
Research output per year
Fingerprint
Dive into the research topics where James Wood is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A framework for substructural type systems
Wood, J. & Atkey, R., 7 Apr 2022, (E-pub ahead of print) ESOP 2022 Proceedings. Cham, Switzerland: Springer, 27 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile4 Downloads (Pure) -
A linear algebra approach to linear metatheory
Wood, J. & Atkey, R., 30 Dec 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 354, 2021, p. 195-212 8 p.Research output: Contribution to journal › Conference Contribution › peer-review
Open AccessFile1 Citation (Scopus)21 Downloads (Pure)