Title | ||
---|---|---|
A revised completeness result for the simply typed λμ-calculus using realizability semantics. |
Year | Venue | DocType |
---|---|---|
2017 | Logical Methods in Computer Science | Journal |
Volume | Issue | Citations |
13 | 3 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Karim Nour | 1 | 65 | 15.07 |
Mohamad Ziadeh | 2 | 0 | 0.68 |