Intersection Types for Normalization and Verification (Invited Talk).

Kazushige Terui

Published in: FSTTCS (2013)

Keyphrases

invited talk
knowledge discovery and data mining
selected papers
information retrieval
genetic algorithm
face recognition
control system
formal methods