Geodesic

Volume 27 (1986) no. 1

Sommaire

Convenient vector spaces embed into the Cahiers topos
p. 3-17
A direct description of uniform completion in locales and a characterization of LT-groups
p. 19-34
Construction de théories d'exactitude
p. 35-48
Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles
p. 49-79
The free adjunction
p. 81-83