Search for tag: "
halts
"
1 Media
Sort by
Creation Date - Descending
Alphabetically - A to Z
Alphabetically - Z to A
Creation Date - Ascending
Creation Date - Descending
Update Date - Ascending
Update Date - Descending
Views
Plays
Likes
View
All Media
All Media
Video
Quiz
Audio
Image
Live Events
Interactive Video
18:13
cos326-2020-11-02-uncomputability
cos326-2020-11-02-uncomputability
cos326-2020-11-02-uncomputability
Uncomputability: What We Can't Compute
cos326
function
lambda
rep
expression
calculus
halts
syntax
wrap
tree
functions
turing
ocaml
machine
models
computation
dot
interpreter
e2
e1
proof
From
Daniel Macleod
0
0 likes
|
106
106 plays
Date
August 16th, 2020
Speaker
Andrew Appel
Department
COS
Location
Princeton NJ