Name
Year | DOI | Venue |
|---|---|---|
1996 | 10.1017/S0956796800001829 | J. Funct. Program. |
Keywords | Field | DocType |
calculus of constructions | Law of excluded middle,Typed lambda calculus,Computer science,Calculus of constructions,Calculus | Journal |
Volume | Issue | Citations |
6 | 3 | 5 |
PageRank | References | Authors |
0.88 | 1 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Franco Barbanera | 1 | 357 | 35.14 |
| Stefano Berardi | 2 | 373 | 51.58 |