|
|||||
|
|
Completeness and Cut-elimination in the Intuitionistic Theory of Types |
|
| Authors: | DeMarco, Mary Lipton, Jame |
| Affiliation: | 1 1615 Commonwealth Ave # 18, Brighton, MA 02135, USA. Email: mcdemarco{at}gmail.com, 2 Dept. of Math and Computer Science, Wesleyan University, Middletown, CT 06457, USA, and Visiting Researcher, Facultad de Informática, Universidad Politécnica de Madrid, Spain. Email: jlipton{at}wesleyan.edu |
| Abstract: | |
| Keywords: | Mathematical logic type theory lambda calculus theorem proving logic programming proof theory cut-elimination impredicative formal systems |
| 本文献已被 Oxford 等数据库收录！ | |