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
EPTCS.15.6
EPTCS.15.6
http://dx.doi.org/10.4204/EPTCS.15.6
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices
P356
Q58001472-A5AF3E51-A145-4A55-BFCB-89171C34499D
P356
EPTCS.15.6
http://dx.doi.org/10.4204/EPTCS.15.6