Login / Signup
Explicit substitution calculi with de Bruijn indices and intersection type systems.
Daniel Lima Ventura
Fairouz Kamareddine
Mauricio Ayala-Rincón
Published in:
Log. J. IGPL (2015)
Keyphrases
</>
information retrieval
expert systems
management system
data sets
artificial intelligence
intelligent systems
computer systems
building blocks
learning systems