Author:
Constable Robert,Bickford Mark
Reference83 articles.
1. Innovations in computational type theory using Nuprl;Allen;J. Appl. Log.,2006
2. Uniform provability realization of intuitionistic logic, modality and lambda-terms;Artemov;Electron. Notes Theor. Comput. Sci.,1999
3. On Brouwer;van Atten,2004
4. Do-it-yourself type theory;Backhouse;Form. Asp. Comput.,1989
5. Lambda Calculi with Types;Barendregt,1992
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献