Cambridge Journals Online - Mathematical Structures in Computer Science Vol. 5 Iss. 04

Home
CJO Mobile
Mobile Device Twinning
Contact Us
Site Map
Help
FAQ
Accessibility
Register

Basket
Log in

User Log-in
Institutional Log-in
Register for an Account

Username or Email Address:

Password:

Remember me

Forgot your Password? Log in

Trouble Logging in?

You can also login through:

Facebook
Twitter
Google Plus

About Us
News
Browse Journals
Authors
- Authors Home
Societies
- Societies Home
Librarians
Agents
- Agents Home
Users
- Users Home
Corporate
- Corporate Home

Citation Search
Quick Search

Advanced Search

Welcome to Cambridge Journals Online

To access subscriptions and personalised features please log in or register

Register for an Account

Journal Information

Editorial Board
Mathematical Structures in Computer Science News
Book Review Info
Instructions for Contributors
Transfer of Copyright
Abstracting & Indexing Services
Request Permissions
Advertising Information

Mathematical Structures in Computer Science Home

Save Journal to My CJO Account

Browse Journal

FirstView Articles
Latest Issue
Back Issues

Browse Articles

Most Downloaded
Most Cited

Submit Your Article
Sign-Up for Contents Alerts

Subscribe & Recommend Journal

Subscribe to Journal

Related Journals

Combinatorics, Probability and Computing
LMS Journal of Computation and Mathematics
Acta Numerica

Advertising and Corporate Sales
Request Permissions

CJO Search Widget (Mathematical Structures in Computer Science) What is this?
Add Cambridge Journals Online as a search option in your browser toolbar. What is this?

Access Information

Consortia Access
Free Access
Individual Access
Open Access
Pay-per-View Access
Subscription Access

Home
>
Mathematical Structures in Computer Science
>
Vol. 5 Issue 04

Mathematical Structures in Computer Science

New Content Alerts
Journal Widget About Widget
Rss
Atom

Table of Contents - Volume 5 - Issue 04 - 1995

View Table of Contents as PDF
Forward TOC

Previous Issue
Next Issue

Select All
Deselect All

View Selected Abstracts
Save to My Saved Articles
Export Citation (s)
Download PDF (s)

Add to Basket

Miscellaneous

Preface Preface

false

Abstract
Article Structure
Figures and Tables
References

Giuseppe Longo and Andrew Pitts

Mathematical Structures in Computer Science / Volume 5 / Issue 04 / December 1995, pp 439 - 439

DOI: http://dx.doi.org/10.1017/S0960129500001171 (About DOI), Published online: 04 March 2009

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Research Articles

Connected limits, familial representability and Artin glueing Connected limits, familial representability and Artin glueing

false

Abstract
Article Structure
Figures and Tables
References

Aurelio Carboni and Peter Johnstone

Mathematical Structures in Computer Science / Volume 5 / Issue 04 / December 1995, pp 441 - 459

DOI: http://dx.doi.org/10.1017/S0960129500001183 (About DOI), Published online: 04 March 2009

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Sound and complete axiomatisations of call-by-value control operators Sound and complete axiomatisations of call-by-value control operators

false

Abstract
Article Structure
Figures and Tables
References

Martin Hofmann

Mathematical Structures in Computer Science / Volume 5 / Issue 04 / December 1995, pp 461 - 482

DOI: http://dx.doi.org/10.1017/S0960129500001195 (About DOI), Published online: 04 March 2009

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Reductions in Intuitionistic Linear Logic Reductions in Intuitionistic Linear Logic

false

Abstract
Article Structure
Figures and Tables
References

Sergei Soloviev

Mathematical Structures in Computer Science / Volume 5 / Issue 04 / December 1995, pp 483 - 499

DOI: http://dx.doi.org/10.1017/S0960129500001201 (About DOI), Published online: 04 March 2009

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi

false

Abstract
Article Structure
Figures and Tables
References

Claudio Hermida and Bart Jacobs

Mathematical Structures in Computer Science / Volume 5 / Issue 04 / December 1995, pp 501 - 531

DOI: http://dx.doi.org/10.1017/S0960129500001213 (About DOI), Published online: 04 March 2009

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Order-enrichment for categories of partial maps Order-enrichment for categories of partial maps

false

Abstract
Article Structure
Figures and Tables
References

Marcelo P. Fiore

Mathematical Structures in Computer Science / Volume 5 / Issue 04 / December 1995, pp 533 - 562

DOI: http://dx.doi.org/10.1017/S0960129500001225 (About DOI), Published online: 04 March 2009

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Author Index

Author Index to Volume 5 Author Index to Volume 5

false

Abstract
Article Structure
Figures and Tables
References

Mathematical Structures in Computer Science / Volume 5 / Issue 04 / December 1995, pp 563 - 564

DOI: http://dx.doi.org/10.1017/S0960129500001237 (About DOI), Published online: 04 March 2009

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Front matter

MSC volume 5 issue 4 Cover and Front matter MSC volume 5 issue 4 Cover and Front matter

false

Abstract
Article Structure
Figures and Tables
References

Mathematical Structures in Computer Science / Volume 5 / Issue 04 / December 1995, pp f1 - f2

DOI: http://dx.doi.org/10.1017/S0960129500001158 (About DOI), Published online: 04 March 2009

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Back matter

MSC volume 5 issue 4 Cover and Back matter MSC volume 5 issue 4 Cover and Back matter

false

Abstract
Article Structure
Figures and Tables
References

Mathematical Structures in Computer Science / Volume 5 / Issue 04 / December 1995, pp b1 - b4

DOI: http://dx.doi.org/10.1017/S096012950000116X (About DOI), Published online: 04 March 2009

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

View Selected Abstracts
Save to My Saved Articles
Export Citation (s)
Download PDF (s)

Add to Basket

View Table of Contents as PDF
Forward TOC

Previous Issue
Next Issue

Copyright Statement
Rights and Permissions
Privacy Policy
Terms of Use
Feedback
Press Releases

© Cambridge University Press

Cambridge University Press

Cross Ref
Cited by CrossRef
Project Counter
Level Double-A conformance icon, W3C-WAI Web Content Accessibility Guidelines 1.0
RSS Feed
Get Adobe Reader
Automated Content Access Protocol enabled