Concepedia

Publication | Closed Access

Normal functors, power series and λ-calculus

DOI

123

Citations

2

References

1988

Year

Jean-Yves Girard
Annals of Pure and Applied Logic

References

YearCitations

Page 1