Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types.

Lars Birkedal Kristian Støvring Jacob Thamsborg

Published in: FoSSaCS (2009)

Keyphrases

special case
formal semantics
machine learning
logic programming
neural network
genetic algorithm
social networks
high level
multiscale
semantic information