![Models of computation / Mathematics / Lambda calculus / Symbol / Combinatory logic / Denotational semantics / Spectral theory of ordinary differential equations / Curry–Howard correspondence / Theoretical computer science / Logic in computer science / Applied mathematics Models of computation / Mathematics / Lambda calculus / Symbol / Combinatory logic / Denotational semantics / Spectral theory of ordinary differential equations / Curry–Howard correspondence / Theoretical computer science / Logic in computer science / Applied mathematics](https://www.pdfsearch.io/img/e67bd754f2bdc1fea6cdad054b94eff9.jpg) Date: 2014-05-14 11:54:52Models of computation Mathematics Lambda calculus Symbol Combinatory logic Denotational semantics Spectral theory of ordinary differential equations Curry–Howard correspondence Theoretical computer science Logic in computer science Applied mathematics | | On the characterization of models of H ∗ Flavien Breuvart ∗ PPS, UMR 7126, Univ Paris Diderot, LIPN, UMR 7030, Univ Paris Nord, Sorbonne Paris Cit´e AbstractAdd to Reading ListSource URL: www.pps.univ-paris-diderot.frDownload Document from Source Website File Size: 181,10 KBShare Document on Facebook
|