Myvideo

Guest

Login

3. Типы в -исчислении и соответствие КарриХоварда

Uploaded By: Myvideo
8 views
0
0 votes
0

Третья лекция курса «Соответствие Карри–Ховарда: от математической логики к программированию»

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later