Phd thesis series

On the complexity of optimal reduction of functional programming language. Vol. 1

Dividing and conquering the layered land. Vol. 2

Computing in non standard set theories. Vol. 3

Reasoning about names in higher-order abstract syntax. Vol. 4

Some intensional models of lambda calculus

Theories and techniques of structural abstraction for hierarchical model-based diagnosis

Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1

Local search techniques for scheduling problems: algorithms and software tools

Retrieving visual concepts in image databases

Model checking for the concurrent constraint paradigm

Investigations in the categorical foundations and applications of coalgebras and hypersets. Vol. 1

Intersection types and lambda models. Vol. 2

Adventures in propositional interval temporal logic. Vol. 3: emporal logics