N. Girard
According to our database1,
N. Girard
authored at least 2 papers
between 1987 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
Proceedings of the 2011 International Conference on Parallel Processing Workshops, 2011
1987
An Interactive, Incremental and Portable Computer Algebra System for Lambda-Calculus and Combinatory Logic Based on Video Edition and Rewriting Techniques.
Proceedings of the STACS 87, 1987