A General Syntax for Nonrecursive Higher Inductive Types.

Marco Girardi Roberto Zunino Marco Benini

Published in: ICTCS (2020)

Keyphrases

special case
artificial intelligence
machine learning
genetic algorithm
high level
neural network
information retrieval
case study
natural language
expert systems
inductive learning
concept learning
recursive programs