Chevalier, Tim
Documents Indexed: | 1 Publication since 2010 |
Co-Authors: | 2 Co-Authors with 1 Joint Publication |
29 Co-Co-Authors |
Co-Authors
0 | single-authored |
1 | McCreight, Andrew |
1 | Tolmach, Andrew |
Serials
Fields
1 | Computer science (68-XX) |
Publications by Year
all
top 5
Cited by 25 Authors
Cited in 2 Serials
2 | Journal of Functional Programming |
1 | Journal of Automated Reasoning |
Cited in 2 Fields
7 | Computer science (68-XX) |
1 | Mathematical logic and foundations (03-XX) |