Impredicative encodings in HoTT
Available formats
The following formats are available for viewing.
20
views
MPEG-4 Video
(360p quality for
download)
-
download
File size: 793.11 MB
Width: 640, Height: 360 Duration: 54 mins 32 secs Frame rate: 29.97 fps, Sample rate: 44100 Hz Average bitrate: 1.93 Mbits/sec |
|
6
views
WebM
(360p quality for
download)
-
download
File size: 231.27 MB
Width: 640, Height: 360 Duration: 54 mins 32 secs Frame rate: 29.97 fps, Sample rate: 44100 Hz Average bitrate: 579.01 kbits/sec |
|
0
views
iPod Video
(high quality for
download)
-
download
File size: 208.34 MB
Width: 480, Height: 270 Duration: 54 mins 32 secs Frame rate: 29.97 fps, Sample rate: 44100 Hz Average bitrate: 521.62 kbits/sec |
|
1
view
MP3
(high quality for
download)
-
download
File size: 99.84 MB
Duration: 54 mins 35 secs Sample rate: 44100 Hz Average bitrate: 249.74 kbits/sec |