Myvideo

Guest

Login

SHM - 16/01/15 - Constructivismes en mathmatiques - Thierry Coquand

Uploaded By: Myvideo
1 view
0
0 votes
0

Thierry Coquand (Université de Gothenburg), « Théorie des types et mathématiques constructives »

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later