| |
| 2001 | ||
|---|---|---|
| 4 | EE | Chris Goad: Describing Computation within RDF. SWWS 2001: 361-380 |
| 3 | Chris Goad: Describing Computation within RDF. The Emerging Semantic Web 2001 | |
| 1982 | ||
| 2 | Chris Goad: Automatic Construction of Special Purpose Programs. CADE 1982: 194-208 | |
| 1980 | ||
| 1 | Chris Goad: Proofs as Description of Computation. CADE 1980: 39-52 | |