N. Girard

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

Venues

Active years

1987–1987

Best venue rank

Where they publish

1 indexed papers, newest first.

Year	Venue	Title	Authors
1987	STACS	An Interactive, Incremental and Portable Computer Algebra System for Lambda-Calculus and Combinatory Logic Based on Video Edition and Rewriting Techniques.	N. Girard