Université de Neuchâtel

La logique développementale

Miéville, Denis

In: Travaux de logique, 1997, vol. 11, p. 161-187

Université de Neuchâtel

Expansion catégorielle et logique

Miéville, Denis

In: Travaux de logique, 1999, vol. 13, p. 1-41