Extended Curry-Howard terms for second-order logic
Version of Record online: 5 AUG 2013
© 2013 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
Mathematical Logic Quarterly
Volume 59, Issue 4-5, pages 274–285, August 2013
How to Cite
Vejjajiva, P. (2013), Extended Curry-Howard terms for second-order logic. Mathematical Logic Quarterly, 59: 274–285. doi: 10.1002/malq.201100102
- Issue online: 19 AUG 2013
- Version of Record online: 5 AUG 2013
- Manuscript Accepted: 24 DEC 2012
- Manuscript Revised: 16 OCT 2012
- Manuscript Received: 4 DEC 2011
Options for accessing this content:
- If you are a society or association member and require assistance with obtaining online access instructions please contact our Journal Customer Services team.
- If your institution does not currently subscribe to this content, please recommend the title to your librarian.
- Login via other institutional login options http://onlinelibrary.wiley.com/login-options.
- You can purchase online access to this Article for a 24-hour period (price varies by title)
- If you already have a Wiley Online Library or Wiley InterScience user account: login above and proceed to purchase the article.
- New Users: Please register, then proceed to purchase the article.
Login via OpenAthens
Search for your institution's name below to login via Shibboleth.
Registered Users please login:
- Access your saved publications, articles and searches
- Manage your email alerts, orders and subscriptions
- Change your contact information, including your password
Please register to:
- Save publications, articles and searches
- Get email alerts
- Get all the benefits mentioned below!