Title | ||
---|---|---|
Semantics of Data Types: International Symposium, Sophia-Antipolis, France, June 27-29, 1984 Proceedings |
Year | Venue | Keywords |
---|---|---|
1984 | Semantics of Data Types | international symposium,data types,data type |
Field | DocType | Volume |
Abstract data type,Intuitionistic logic,Lambda calculus,Computer science,Proof theory,Type inference,Theoretical computer science,Data type,Cartesian closed category,Structural induction | Conference | 173 |
ISBN | Citations | PageRank |
0387133461 | 20 | 21.66 |
References | Authors | |
0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gilles Kahn | 1 | 1437 | 340.18 |
Gordon D. Plotkin | 2 | 6730 | 1092.68 |
David B. MacQueen | 3 | 381 | 158.96 |