Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule..

Ryota Akiyoshi Kazushige Terui

Published in: FSCD (2016)

Keyphrases

parameter free
lambda calculus
programming language
categorical data
outlier detection
data sets
predicate calculus
database query languages
fully automatic
higher order
program understanding
high level
association rules
knowledge discovery
wordnet
cluster analysis