Modal Intersection Types, Two-Level Languages, and Staged Synthesis.

Fritz Henglein Jakob Rehof

Published in: Semantics, Logics, and Calculi (2016)

Keyphrases

cross lingual
expressive power
modal logic
relational databases
language independent
databases
artificial intelligence
logic programming
multiple types
grammatical inference