Extensional Models of Untyped Lambda-mu Calculus

Koji Nakazawa Shin-ya Katsumata

Published in: CL&C (2012)

Keyphrases

neural network
artificial intelligence
probability distribution
statistical models