Geodesic

Volume 39 (2005) no. 3

Sommaire

Foreword
p. 421-422
Denotational aspects of untyped normalization by evaluation
p. 423-453
Distance desert automata and the star height problem
p. 455-509
Adhesive and quasiadhesive categories
p. 511-545
Polynomials over the reals in proofs of termination : from theory to practice
p. 547-586
Bisimulation on speed : lower time bounds
p. 587-618