Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics) Год выпуска: 2006Автор: Morten Heine SA?rensen, Pawel UrzyczynИздательство: Страниц: 456ISBN: 0444520775Описание The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such...
Похожие книги
Twentieth Century Fund/Century Foundation, Century Foundation Task Force on the Future of Unions. What's Next for Organized Labor?: Report of the Century Foundation Task Force on the Future of Unions. – М.: , 0. – 0 с. Anne O. Krueger, Chonira Aturupane, Conference on the World Trade Organization As an International Institu. The Wto As an International Organization. – М.: , 0. – 0 с. K. Alec Chrystal, Rupert Pennant-Rea, British Association for the Advancement of Science Section F. Public Choice Analysis of Economic Policy (British Association for the Advancement of Science Books). – М.: , 0. – 0 с. Ian R. Bowler, C. R. Bryant, C. Cocklin, Chris Cocklin, International Geographical Union Commission on the Sustainability of R. The Sustainability of Rural Systems - Geographical Interpretations. – М.: , 0. – 0 с. Peg Pickering, Jonathan How to Make the Most of Your Workday Clark. How to Make the Most of Your Workday. – М.: , 0. – 0 с. Dag Harald Claes, Dag Harald Claes ARENA: Advanced Research on the Europeanisation of the Nation-State. The Politics of Oil-Producer Cooperation. – М.: , 0. – 0 с. International Conference on Risk and Uncertainty in Environmental and, Hans-Peter Weikard, Robert D. Weaver, Justus Wesseler. Risk and Uncertainty in Environmental and Natural Resource Economics. – М.: , 0. – 0 с. International Conference on the Conduct of Monetary Policy, Jin-Lung Lin, Jia-Dong Shea, Chung-Shu Wu, Gerald P., Jr. Dwyer, Gerald P. Dwyer. Monetary Policy and Taiwan's Economy (Academia Studies in Asian Economies Series). – М.: , 0. – 0 с. Workshop on the Life of a Process Model--From Conception to Action, S. Macchietto, S. P. Asprey. Dynamic Model Development: Methods, Theory and Applications (Computer-Aided Chemical Engineering). – М.: , 0. – 0 с. State of the Art of Research in International Marketing Conference. Handbook of Research in International Marketing. – М.: , 2003. – 0 с. House of Commons - Select Committee on the Modernisation of the House of Commons. Regional Accountability (Hc 282, Third Report of Session 2007-08 - Report, Together With Formal Minutes, Oral and Written Evidence). – М.: , 2008. – 161 с. Committee on the Significance of International Transport of Air Pollutants, National Research Counci. Global Sources of Local Pollution: An Assessment of Long-Range Transport of Key Air Pollutants to and from the United States. – М.: , 2010. – 225 с. Committee on Forefronts of Science at the Interface of Physical and Life Sciences, National Research. Research at the Intersection of the Physical and Life Sciences. – М.: , 2010. – 102 с. The Run of the. The Run of the House. – М.: , 1993. – 0 с. Edited by Jack Beatson and Eltjo Schrage, with the collaboration of Mindy Chen-Wishart, Martin Hogg. Cases, Materials and Texts on Unjustified Enrichment. – М.: , 2011. – 640 с. Edited by Dagmar Schiek, Lisa Waddington and Mark Bell (with the collaboration of Tufyal Choudhury. Cases, Materials and Text on National, Supranational and International Non-Discrimination Law. – М.: , 2011. – 1118 с. The Editors of Hamptons Cottages and Gardens. Hamptons Havens : The Best of Hamptons Cottages and Gardens. – М.: Bulfinch, 2005. – 192 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Айгуль Спасибо Вам огромное, Марина Михайловна!!! :) Вы - просто потрясающая!!! :* Я Вам очень очень благодарна! спасибо за все!
