Pure type systems with corecursion on streams: from finite to infinitary normalisation.

Paula Severi Fer-Jan de Vries

Published in: ICFP (2012)

Keyphrases

data sets
artificial intelligence
digital libraries
expert systems
distributed systems
knowledge based systems
learning systems
neural network
machine learning
management system
intelligent systems
computer systems
test collection
computing systems