Concepedia

Publication | Closed Access

Paths, computations and labels in the λ-calculus

DOI

36

Citations

7

References

1995

Year

Andrea Asperti, Cosimo Laneve
Theoretical Computer Science

References

YearCitations

Page 1