DOMAINS AND LAMBDA-CALCULI - AMADIO R.M. & CURIEN P. (CAMBRIDGE : CAMBRIDGE UNIVERSITY PRESS, 1998)
Keywords: Artififical Inteligent :Semantics : Programming Language