Concepedia

Publication | Closed Access

The calculus of constructions

DOI

1.1K

Citations

12

References

1988

Year

Thierry Coquand, Gérard Huet
Information and Computation

References

YearCitations

Page 1