<--- Back to Details
First PageDocument Content
Mathematics / Ordinary differential equations / Spectral theory / Mathematical analysis / Spectral theory of ordinary differential equations / Curry–Howard correspondence / Symbol / De Bruijn index / Valuation
Date: 2007-12-01 03:56:46
Mathematics
Ordinary differential equations
Spectral theory
Mathematical analysis
Spectral theory of ordinary differential equations
Curry–Howard correspondence
Symbol
De Bruijn index
Valuation

Closing the Stage From Staged Code to Typed Closures Yukiyoshi Kameyama Oleg Kiselyov

Add to Reading List

Source URL: okmij.org

Download Document from Source Website

File Size: 210,32 KB

Share Document on Facebook

Similar Documents

Orthogonal Polynomials and Spectral Algorithms Nisheeth K. Vishnoi 1.0  d=0

Orthogonal Polynomials and Spectral Algorithms Nisheeth K. Vishnoi 1.0 d=0

DocID: 1uxDb - View Document

MODULE AND FILTERED KNOT HOMOLOGY THEORIES JEFF HICKS Abstract. We provide a new way to define Bar-Natan’s F2 [u] knot homology theory. The u torsion of BN •,• is shown to explicitly give Turner’s spectral sequen

MODULE AND FILTERED KNOT HOMOLOGY THEORIES JEFF HICKS Abstract. We provide a new way to define Bar-Natan’s F2 [u] knot homology theory. The u torsion of BN •,• is shown to explicitly give Turner’s spectral sequen

DocID: 1tmp7 - View Document

Lecture Notes on Expansion, Sparsest Cut, and Spectral Graph Theory Luca Trevisan University of California, Berkeley

Lecture Notes on Expansion, Sparsest Cut, and Spectral Graph Theory Luca Trevisan University of California, Berkeley

DocID: 1t8rW - View Document

Spectral Graph Theory and its Applications  Lecture 10 Expander Codes Lecturer: Daniel A. Spielman

Spectral Graph Theory and its Applications Lecture 10 Expander Codes Lecturer: Daniel A. Spielman

DocID: 1sypf - View Document

Spectral Graph Theory  Lecture 15 Properties of Expander Graphs Daniel A. Spielman

Spectral Graph Theory Lecture 15 Properties of Expander Graphs Daniel A. Spielman

DocID: 1sweE - View Document