IDEAL: An Ideal Deductive Applicative Language

@inproceedings{Bosco1986IDEALAI,
  title={IDEAL: An Ideal Deductive Applicative Language},
  author={Pier Giorgio Bosco and Elio Giovannetti},
  booktitle={SLP},
  year={1986}
}