An Extensional Kleene Realizability Semantics for the Minimalist Foundation.

Maria Emilia Maietti Samuele Maschio

Published in: TYPES (2014)

Keyphrases

formal semantics
logic programming
semantic information
regular expressions
propositional logic
conceptual schema
learning algorithm
expert systems
domain knowledge
partial order
theoretical foundation