awgldk
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
Q58001383-55DD6865-68D8-4116-B8F1-B174DEE03651
Q58001383-55DD6865-68D8-4116-B8F1-B174DEE03651
BestRank
Statement
http://www.wikidata.org/entity/statement/Q58001383-55DD6865-68D8-4116-B8F1-B174DEE03651
Explicit substitution calculi with de Bruijn indices and intersection type systems
P2860
Q58001383-55DD6865-68D8-4116-B8F1-B174DEE03651
BestRank
Statement
http://www.wikidata.org/entity/statement/Q58001383-55DD6865-68D8-4116-B8F1-B174DEE03651
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
eafae84ee1dc4ad07f1b832d0a314f48fa957804
P2860
A theory of type polymorphism in programming