A Logic for Parametric Polymorphism with Effects.

Rasmus Ejlers Møgelberg Alex Simpson

Published in: TYPES (2007)

Keyphrases

modal logic
logic programming
classical logic
real world
machine learning
information retrieval
image sequences
programming language
multi valued
predicate logic
deductive reasoning