Year | Venue | Keywords |
---|---|---|
1998 | Fuji International Symposium on Functional and Logic Programming | type theory |
Field | DocType | Citations |
Algebra,Computer science,Type theory,Theoretical computer science | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Izumi Takeuti | 1 | 16 | 4.73 |