Concepedia

Publication | Closed Access

A soft type assignment system for &lambda-calculus

26

Citations

6

References

2007

Year

Marco Gaboardi, Simona Ronchi Della Rocca
Computer Science Logic

References

YearCitations

Page 1