Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are today efficien

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.

Despite their changing role, abstracts remain useful in the digital world. Highly beneficial to information professionals and researchers who work and publish i