Abstract | ||
---|---|---|
In this paper we give a complete, formal definition of the formula-tree proof method, prove its correctness and illustrate its adequateness for research in the area of inhabitation of simple types. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1093/logcom/exi016 | J. Log. Comput. |
Keywords | Field | DocType |
simple type,formal definition,formula-tree proof method,long normal inhabitants,lambda calculus,natural deduction | Lambda calculus,Natural deduction,Correctness,Formal description,Mathematics,Calculus | Journal |
Volume | Issue | ISSN |
15 | 3 | 0955-792X |
Citations | PageRank | References |
9 | 0.66 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sabine Broda | 1 | 64 | 13.83 |
Luís Damas | 2 | 128 | 22.34 |