Name
Title | ||
|---|---|---|
Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings |
Year | Venue | Field |
|---|---|---|
2001 | TLCA | Complexity class,Programming language,Algebra,Geometry of interaction,Natural deduction,Computer science,Type theory,Calculus of constructions,Finitary,Linear logic,Game semantics |
DocType | Volume | ISBN |
Conference | 2044 | isbn |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| applications | 1 | 590 | 94.91 |
| Samson Abramsky | 2 | 3169 | 348.51 |