Search for tag: "lambda"

4 Media

01:14:06 Quantum hall bilayers with a twist-skyrmion… Quantum hall bilayers with a twist-skyrmion mediated superconductivity	Quantum hall bilayers with a twist-skyrmion mediated superconductivity Michael P. Zaletel - University of California, Berkeley superconductivity layer spin model layers hall charge problem energy density field phase level superconductor electron physics lambda zemin quantum thing From prz prz-media on June 14th, 2021 0 likes 6 plays Date June 9th, 2021 Speaker Michael P. Zaletel - University of California, Berkeley Department PRISM
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 on August 16th, 2020 0 likes 102 plays Date August 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
30:19 cos326-2020-11-01-computability cos326-2020-11-01-computability	cos326-2020-11-01-computability Computability lambda function dot calculus match functions g. cons b. pair step ocaml argument successor capital clause constructor point x. computation From Daniel Macleod on August 16th, 2020 0 likes 174 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
25:03 cos326-2020-04-02-map-reduce-reasoning cos326-2020-04-02-map-reduce-reasoning	cos326-2020-04-02-map-reduce-reasoning Poly Ho! cos326 function argument functions square arrow arguments head ink times call parameter thing element cons fun tail programs sum lambda expression From Daniel Macleod on August 14th, 2020 1 likes 296 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ