Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/d113fbf8ce0e59d7d077c481c7e9db2ae45b562dedfbe1275dd9aaea99178c7d> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- d113fbf8ce0e59d7d077c481c7e9db2ae45b562dedfbe1275dd9aaea99178c7d author2 "Martini, Simone".
- d113fbf8ce0e59d7d077c481c7e9db2ae45b562dedfbe1275dd9aaea99178c7d author3 "Mitchell, John C.".
- d113fbf8ce0e59d7d077c481c7e9db2ae45b562dedfbe1275dd9aaea99178c7d author4 "Scedrov, Andre".
- d113fbf8ce0e59d7d077c481c7e9db2ae45b562dedfbe1275dd9aaea99178c7d booktitle "Information and Computation, vol. 9".
- d113fbf8ce0e59d7d077c481c7e9db2ae45b562dedfbe1275dd9aaea99178c7d first "Luca".
- d113fbf8ce0e59d7d077c481c7e9db2ae45b562dedfbe1275dd9aaea99178c7d isCitedBy System_F-sub.
- d113fbf8ce0e59d7d077c481c7e9db2ae45b562dedfbe1275dd9aaea99178c7d last "Cardelli".
- d113fbf8ce0e59d7d077c481c7e9db2ae45b562dedfbe1275dd9aaea99178c7d location "North Holland, Amsterdam".
- d113fbf8ce0e59d7d077c481c7e9db2ae45b562dedfbe1275dd9aaea99178c7d pages "4–56".
- d113fbf8ce0e59d7d077c481c7e9db2ae45b562dedfbe1275dd9aaea99178c7d title "An extension of system F with subtyping".
- d113fbf8ce0e59d7d077c481c7e9db2ae45b562dedfbe1275dd9aaea99178c7d year "1994".