A Typed Assembly Language for Non-interference.

Ricardo Medel Adriana B. Compagnoni Eduardo Bonelli

Published in: ICTCS (2005)

Keyphrases

language learning
lambda calculus
programming language
natural language
neural network
higher order
modeling language
learning algorithm
computer simulation
multipath
computational linguistics
representation language