Bart Jacobs

Œuvres (1)

Couverture : Categorical logic and type theory

Categorical logic and type theory

1999