Bifibrational Functorial Semantics of Parametric Polymorphism.

Neil Ghani Patricia Johann Fredrik Nordvall Forsberg Federico Orsanigo Tim Revell

Published in: MFPS (2015)

Keyphrases

logic programming
formal semantics
semantic information
machine learning
image sequences
parametric models
databases
information retrieval
genetic algorithm
domain knowledge
conceptual model