Logical Bisimulations and Functional Languages.

Davide Sangiorgi Naoki Kobayashi Eijiro Sumii

Published in: FSEN (2007)

Keyphrases

functional language
expressive power
functional analysis
relational query languages
language independent
cross lingual
target language
probabilistic logic
functional programming
data sets
language identification
multi lingual
english text
functional properties
description languages