Internet Archive's in-browser video "theater" requires JavaScript to be enabled. It appears your browser does not have it turned on. Please see your browser settings for this feature.

play8?>>

Untyped Lambda Calculus Interpretations v1

by: ClaudiusMaximus

Publication date: 2009

Usage: Attribution-ShareAlike 2.0 England & Wales

Topics: Computation, Algorithm, Lambda Calculus, Visualisation

audio-visualisation of some computations in untyped lambda calculus

Contact Information: http://claudiusmaximus.goto10.org mailto:claudiusmaximus@goto10.org

Addeddate: 2009-06-12 11:57:11

Color: color

Identifier: ClaudiusMaximus_-_ULCIv1

Run time: 9m36s

Sound: sound

Year: 2009

plus-circle Add Review

comment
Reviews

There are no reviews yet. Be the first one to write a review.

917 Views

DOWNLOAD OPTIONS

15 files

512KB MPEG4

BACK

9.5M

ack23_dvd_512kb.mp4

9.2M

ack23_hd_512kb.mp4

9.3M

ack23_ld_512kb.mp4

8.7M

fact4_dvd_512kb.mp4

8.5M

fact4_hd_512kb.mp4

8.5M

fact4_ld_512kb.mp4

10.2M

fib6_dvd_512kb.mp4

9.9M

fib6_hd_512kb.mp4

9.9M

fib6_ld_512kb.mp4

633.1K

sixteen_dvd_512kb.mp4

644.7K

sixteen_hd_512kb.mp4

586.4K

sixteen_ld_512kb.mp4

9.6M

sqrt22_dvd_512kb.mp4

9.3M

sqrt22_hd_512kb.mp4

9.3M

sqrt22_ld_512kb.mp4

1 file

ITEM TILE

5 files

MPEG2

BACK

94.8M

ack23 (dvd)

85.2M

fact4 (dvd)

108.7M

fib6 (dvd)

3.4M

sixteen (dvd)

118.7M

sqrt22 (dvd)

10 files

OGG THEORA

BACK

76.3M

ack23 (hd)

10.6M

ack23 (ld)

70.1M

fact4 (hd)

9.4M

fact4 (ld)

93.2M

fib6 (hd)

11.4M

fib6 (ld)

1.9M

sixteen (hd)

348.2K

sixteen (ld)

98.7M

sqrt22 (hd)

10.7M

sqrt22 (ld)

15 files

OGG VIDEO

BACK

9.9M

ack23_dvd.ogv

10.2M

ack23_hd.ogv

10.2M

ack23_ld.ogv

8.9M

fact4_dvd.ogv

9.1M

fact4_hd.ogv

9.1M

fact4_ld.ogv

10.6M

fib6_dvd.ogv

10.8M

fib6_hd.ogv

10.8M

fib6_ld.ogv

384.1K

sixteen_dvd.ogv

441.3K

sixteen_hd.ogv

426.2K

sixteen_ld.ogv

9.9M

sqrt22_dvd.ogv

10.2M

sqrt22_hd.ogv

10.2M

sqrt22_ld.ogv

1 file

TORRENT

124 Files
22 Original

SHOW ALL

IN COLLECTIONS

Community Video

Community Collections

Uploaded by Unknown on June 12, 2009

Internet Archive Audio

Featured

Top

Images

Featured

Top

Software

Featured

Top

Books

Featured

Top

Video

Featured

Top

Mobile Apps

Browser Extensions

Archive-It Subscription

Save Page Now

Untyped Lambda Calculus Interpretations v1

plus-circle Add Review

comment
Reviews

DOWNLOAD OPTIONS

IN COLLECTIONS

SIMILAR ITEMS (based on metadata)

Internet Archive Audio

Featured

Top

Images

Featured

Top

Software

Featured

Top

Books

Featured

Top

Video

Featured

Top

Mobile Apps

Browser Extensions

Archive-It Subscription

Save Page Now

Untyped Lambda Calculus Interpretations v1

Video Item Preview

Flag this item for

Untyped Lambda Calculus Interpretations v1

plus-circle Add Review comment Reviews

DOWNLOAD OPTIONS

IN COLLECTIONS

SIMILAR ITEMS (based on metadata)

plus-circle Add Review

comment
Reviews