Typed -calculus with arithmetical constraints (1993)

by Masami Hagiya
Venue:In Proc of Workshop on Algorithmic Learning Theory, Springer-Verlag LNAI