Reduction System for Extensional Lambda-mu Calculus.

Koji Nakazawa Tomoharu Nagai

Published in: RTA-TLCA (2014)

Keyphrases

fixed point
lambda calculus
neural network
reduction method
real time
databases
information systems
real world
machine learning
social networks
decision trees
programming language
data reduction
formal language
automated deduction