Syntax and Semantics - another look, especially for dependent type theories
Available formats
The following formats are available for viewing.
26
views
MPEG-4 Video
(360p quality for
download)
-
download
File size: 408.36 MB
Width: 640, Height: 360 Duration: 29 mins 26 secs Frame rate: 29.97 fps, Sample rate: 44100 Hz Average bitrate: 1.84 Mbits/sec |
|
7
views
WebM
(360p quality for
download)
-
download
File size: 304.02 MB
Width: 640, Height: 360 Duration: 29 mins 27 secs Frame rate: 29.97 fps, Sample rate: 44100 Hz Average bitrate: 1.37 Mbits/sec |
|
35
views
Flash Video
(high quality for
streaming)
-
download
File size: 122.58 MB
Width: 484, Height: 272 Duration: 29 mins 26 secs Frame rate: 29.97 fps, Sample rate: 44100 Hz Average bitrate: 568.61 kbits/sec |
|
6
views
iPod Video
(high quality for
download)
-
download
File size: 109.13 MB
Width: 480, Height: 270 Duration: 29 mins 26 secs Frame rate: 29.97 fps, Sample rate: 44100 Hz Average bitrate: 506.21 kbits/sec |
|
12
views
MP3
(high quality for
download)
-
download
File size: 26.82 MB
Duration: 29 mins 17 secs Sample rate: 44100 Hz Average bitrate: 125.06 kbits/sec |