Modelling general recursion in type theory

Volume 15
Issue 04 - Aug 2005
Add to Basket £30.00 / $45.00
Request Permissions
Cited by Articles (CrossRef)
Cited by Articles (Google Scholar)
Citation Alert
Go to Next Abstract in TOC
Go to Previous Abstract in TOC
Blog this Article close

Copy and paste this code to insert a reference to this article in your blog or online community profile:

Highlight All
<div style="background: #FFFFFF; margin: 10px 10px 10px 10px; padding: 10px 10px 10px 20px; text-align: left; border-top: 1px dashed #a5bbd1; border-left: 10px solid #a5bbd1; font-family: Verdana, Geneva, sans-serif;"><br> <div style="font-size: 12px; padding: 0px 0px 10px 0px; font-weight:bold; color: #003366;">Modelling general recursion in type theory</div><br><div style="font-size: 10px;"><b>ANA BOVE and VENANZIO CAPRETTA (2005).</b><br /> <a href="http://journals.cambridge.org/action/displayJournal?jid=MSC">Mathematical Structures in Computer Science</a>, <a href="http://journals.cambridge.org/action/displayJournal?jid=MSC&volumeId=15&bVolume=y#loc15 ">Volume 15</a>, <a href="http://journals.cambridge.org/action/displayIssue?jid=MSC&volumeId=15&issueId=04&iid=318914"> Issue 04</a>, August 2005 pp 671-708 <br/> <a href="http://journals.cambridge.org/action/displayAbstract?aid=318914">http://journals.cambridge.org/action/displayAbstract?aid=318914</a></div></div>
The code will display like this:

Modelling general recursion in type theory

ANA BOVE and VENANZIO CAPRETTA (2005).
Mathematical Structures in Computer Science, Volume 15, Issue 04, August 2005 pp 671-708 http://journals.cambridge.org/action/displayAbstract?aid=318914

Blog this Article

Mathematical Structures in Computer Science (2005), 15 : 671-708 Cambridge University Press

Copyright © 2005 Cambridge University Press

doi:10.1017/S0960129505004822 (About doi)

Published online by Cambridge University Press 15 Jul 2005

Social Bookmarking

Username or Email Address	Password

Cambridge Journals Online

Mathematical Structures in Computer Science (2005), 15 : 671-708 Cambridge University Press

Copyright © 2005 Cambridge University Press

doi:10.1017/S0960129505004822 (About doi)

Published online by Cambridge University Press 15 Jul 2005