Francesco Nardelli - PDFSEARCH.IO - Document Search Engine

Francesco Nardelli
Results: 4

#	Item
1	On a new mathematical application concerning the discrete and the analytic functions. Mathematical connections with some sectors of Number Theory and String Theory. Odoardo Volonterio1, Michele Nardelli 2,3 , Francesco D Add to Reading List Source URL: empslocal.ex.ac.uk Language: English - Date: 2014-03-06 06:45:32 Ordinary differential equations Integral transforms Operator theory Hilbert transform Discrete Fourier transform Mathematical analysis Mathematics Fourier analysis
2	Sumatran Rhino: Dicerorhinus sumatrensis. Population: 200 Critically endangered Sumatran rhinos have suffered a 50% population decline over the last 15 years, due to illegal killing for their Add to Reading List Source URL: savingrhinos.org Language: English - Date: 2013-11-25 16:16:28 Biology International Rhino Foundation Fauna of Asia Zoology Odd-toed ungulate Rhino Javan Rhinoceros Francesco Nardelli Rhinoceroses Sumatran Rhinoceros Dicerorhinus sumatrensis harrissoni
3	Ott: Effective Tool Support for the Working Semanticist Peter Sewell∗ Francesco Zappa Nardelli† Thomas Ridge∗ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-10-18 09:46:53 Lambda calculus Formal methods Type theory Logic in computer science Programming language theory Twelf POPLmark challenge OCaml Proof assistant Software engineering Computing Theoretical computer science
4	NEW-HOPLA a higher-order process language with name generation Glynn Winskel Computer Laboratory, University of Cambridge, UK Francesco Zappa Nardelli Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-05-06 09:33:37 Symbol Lambda calculus Proof theory Curry–Howard correspondence Valuation Mathematics Mathematical logic Applied mathematics

UPDATE