Mathematical Structures in Computer Science FirstView Articles

Mathematical Structures in Computer Science

New Content Alerts
Journal Widget About Widget
Rss
Atom

Table of Contents - FirstView Articles ...

View Table of Contents as PDF
Forward TOC

Select All
Deselect All

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

Add to Basket

Paper

Event Identifier Logic Event Identifier Logic

false

preview

Abstract
Article Structure
Figures and Tables
References

IAIN PHILLIPS and IREK ULIDOWSKI

Mathematical Structures in Computer Science / FirstView Articles

DOI: http://dx.doi.org/10.1017/S0960129513000510 (About DOI), Published online: Fri Sep 27 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (489 KB)
References
(57 KB)
Request Permissions

Higher-order psi-calculi Higher-order psi-calculi

false

preview

Abstract
Article Structure
Figures and Tables
References

JOACHIM PARROW, JOHANNES BORGSTRÖM, PALLE RAABJERG and JOHANNES ÅMAN POHJOLA

Mathematical Structures in Computer Science / FirstView Articles

DOI: http://dx.doi.org/10.1017/S0960129513000170 (About DOI), Published online: Mon Jun 24 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (235 KB)
References
(22 KB)
Request Permissions

Trace spaces of directed tori with rectangular holes Trace spaces of directed tori with rectangular holes

false

preview

Abstract
Article Structure
Figures and Tables
References

LISBETH FAJSTRUP

Mathematical Structures in Computer Science / FirstView Articles

DOI: http://dx.doi.org/10.1017/S0960129513000169 (About DOI), Published online: Mon Jun 17 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (313 KB)
References
(8 KB)
Request Permissions

Computability structures, simulations and realizability Computability structures, simulations and realizability

false

preview

Abstract
Article Structure
Figures and Tables
References

JOHN LONGLEY

Mathematical Structures in Computer Science / FirstView Articles

DOI: http://dx.doi.org/10.1017/S0960129513000182 (About DOI), Published online: Wed Jun 05 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (310 KB)
References
(23 KB)
Request Permissions

A linear category of polynomial diagrams A linear category of polynomial diagrams

false

preview

Abstract
Article Structure
Figures and Tables
References

PIERRE HYVERNAT

Mathematical Structures in Computer Science / FirstView Articles

DOI: http://dx.doi.org/10.1017/S0960129512001016 (About DOI), Published online: Fri May 17 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (213 KB)
References
(15 KB)
Request Permissions

On the computability of a construction of Brownian motion On the computability of a construction of Brownian motion

false

preview

Abstract
Article Structure
Figures and Tables
References

GEORGE DAVIE and WILLEM L. FOUCHÉ

Mathematical Structures in Computer Science / FirstView Articles

DOI: http://dx.doi.org/10.1017/S0960129513000157 (About DOI), Published online: Fri May 17 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (103 KB)
References
(31 KB)
Request Permissions

Equivalence relations for modular performance evaluation in dtsPBC Equivalence relations for modular performance evaluation in dtsPBC

false

preview

Abstract
Article Structure
Figures and Tables
References

IGOR V. TARASYUK

Mathematical Structures in Computer Science / FirstView Articles

DOI: http://dx.doi.org/10.1017/S0960129513000029 (About DOI), Published online: Tue May 14 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (1.1962890625 MB)
References
(61 KB)
Request Permissions

Fixed points of contractive maps on dcpo's Fixed points of contractive maps on dcpo's

false

preview

Abstract
Article Structure
Figures and Tables
References

E. COLEBUNDERS, S. DE WACHTER and R. LOWEN

Mathematical Structures in Computer Science / FirstView Articles

DOI: http://dx.doi.org/10.1017/S0960129513000017 (About DOI), Published online: Mon May 13 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (158 KB)
References
(27 KB)
Request Permissions

Deriving session and union types for objects Deriving session and union types for objects

false

preview

Abstract
Article Structure
Figures and Tables
References

LORENZO BETTINI, SARA CAPECCHI, MARIANGIOLA DEZANI-CIANCAGLINI, ELENA GIACHINO and BETTI VENNERI

Mathematical Structures in Computer Science / FirstView Articles

DOI: http://dx.doi.org/10.1017/S0960129512000886 (About DOI), Published online: Thu May 09 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (382 KB)
References
(68 KB)
Request Permissions

Generation and sudden death of entanglement in qubit–qutrit systems with depolarising noise Generation and sudden death of entanglement in qubit–qutrit systems with depolarising noise

false

preview

Abstract
Article Structure
Figures and Tables
References

SALMAN KHAN

Mathematical Structures in Computer Science / FirstView Articles

DOI: http://dx.doi.org/10.1017/S0960129512000977 (About DOI), Published online: Wed Apr 10 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (292 KB)
References
(39 KB)
Request Permissions

Krivine's classical realisability from a categorical perspective Krivine's classical realisability from a categorical perspective

false

preview

Abstract
Article Structure
Figures and Tables
References

THOMAS STREICHER

Mathematical Structures in Computer Science / FirstView Articles

DOI: http://dx.doi.org/10.1017/S0960129512000989 (About DOI), Published online: Wed Apr 10 00:00:00 BST 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (184 KB)
References
(19 KB)
Request Permissions

An operational domain-theoretic treatment of recursive types An operational domain-theoretic treatment of recursive types

false

preview

Abstract
Article Structure
Figures and Tables
References

WENG KIN HO

Mathematical Structures in Computer Science / FirstView Articles

DOI: http://dx.doi.org/10.1017/S0960129512001004 (About DOI), Published online: Tue Mar 19 00:00:00 GMT 2013

Post a Comment

Name *

Your Position and Institution

Email *

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

Comment * characters remaining

Abstract
PDF (342 KB)
References
(27 KB)
Request Permissions

Monadic translation of classical sequent calculus Monadic translation of classical sequent calculus

false

preview

Abstract
Article Structure
Figures and Tables
References

JOSÉ ESPÍRITO SANTO, RALPH MATTHES, KOJI NAKAZAWA and LUÍS PINTO

Mathematical Structures in Computer Science / FirstView Articles

DOI: http://dx.doi.org/10.1017/S0960129512000436 (About DOI), Published online: Fri Jan 18 00:00:00 GMT 2013

Welcome to Stanford University Libraries

Mathematical Structures in Computer Science

Paper