Login / Signup
Characterizing Strongly Normalizing Terms of a Calculus with Generalized Applications via Intersection Types.
Ralph Matthes
Published in:
ICALP Satellite Workshops (2000)
Keyphrases
</>
information retrieval
genetic algorithm
artificial intelligence
databases
machine learning
social networks
e learning
multiscale
temporal reasoning