Abstract | ||
---|---|---|
We provide a paradigmatic case study, about the formalization of System F |
Year | DOI | Venue |
---|---|---|
2015 | 10.1016/j.tcs.2015.07.019 | Theoretical Computer Science |
Keywords | Field | DocType |
Type theory,Logical frameworks,HOAS,POPLmark Challenge | Discrete mathematics,Metatheory,Programming language,POPLmark challenge,Computer science,System F,Type theory,Object language,Equivalence (measure theory),Artificial intelligence,Proof assistant | Journal |
Volume | Issue | ISSN |
606 | C | 0304-3975 |
Citations | PageRank | References |
0 | 0.34 | 25 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alberto Ciaffaglione | 1 | 58 | 9.97 |
Ivan Scagnetto | 2 | 232 | 20.87 |