Concepedia

Publication | Closed Access

Innovations in computational type theory using Nuprl

DOI

91

Citations

61

References

2005

Year

Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard G. Eaton, Christoph Kreitz, Liana M. Lorigo, Escarleth Sarahy Arvizu Morán
Journal of Applied Logic

References

YearCitations

Page 1