Home  -> Science -> Seminars -> Logic -> Detail

Orthogonal types to the value group and descent