01408nam a2200313 i 4500991003277399707536cr cn|||||||||080616s2006 ne a sb 001 0 eng d97804445207770444520775b1365956x-39ule_instDip.to Matematicaeng511.32622Sørensen, Morten Heine433380Lectures on the Curry-Howard isomorphism[e-book] /Morten Heine Sørensen, Paweł UrzyczynAmsterdam ;Boston :Elsevier,2006xiv, 442 p. :ill. ;24 cmStudies in logic and the foundations of mathematics,0049-237X ;149Includes bibliographical references (p. 403-430) and indexCurry-Howard isomorphismLambda calculusUrzyczyn, Pawełauthorhttp://id.loc.gov/vocabulary/relators/aut318886ScienceDirecthttp://www.sciencedirect.com/science/publication?issn=0049237X&volume=149An electronic book accessible through the World Wide Web; click for informationPublisher descriptionhttp://catdir.loc.gov/catdir/enhancements/fy0661/2006048390-d.html.b1365956x03-03-2229-01-08991003277399707536Lectures on the Curry-Howard isomorphism728350UNISALENTOle01329-01-08m@ -engne 0002259nam 2200517z- 450 991055756830332120211118(CKB)5400000000043944(oapen)https://directory.doabooks.org/handle/20.500.12854/73838(oapen)doab73838(EXLCZ)99540000000004394420202111d2020 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierAdvances in Understanding Marine Heatwaves and Their ImpactsFrontiers Media SA20201 online resource (314 p.)2-88963-697-6 This eBook is a collection of articles from a Frontiers Research Topic. Frontiers Research Topics are very popular trademarks of the Frontiers Journals Series: they are collections of at least ten articles, all centered on a particular subject. With their unique mix of varied contributions from Original Research to Review Articles, Frontiers Research Topics unify the most influential researchers, the latest key findings and historical advances in a hot research area! Find out more on how to host your own Frontiers Research Topic or contribute to one as an author by contacting the Frontiers Editorial Office: frontiersin.org/about/contactOceanography (seas and oceans)bicsscScience: general issuesbicsscclimate changeclimate predictionclimate variabilityextreme eventsmarine ecosystemsmarine heatwavesmarine resourcesocean and atmosphere interactionsOceanography (seas and oceans)Science: general issuesOliver Eric C. Jedt1277581Wernberg ThomasedtBenthuysen JessicaedtChen KeedtOliver Eric C. JothWernberg ThomasothBenthuysen JessicaothChen KeothBOOK9910557568303321Advances in Understanding Marine Heatwaves and Their Impacts3011664UNINA