default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Structures in Computer Science, Volume 10
Volume 10, Number 1, February 2000
- Healfdene Goguen, Jean Goubault-Larrecq:
Sequent combinators: a Hilbert system for the lambda calculus. 1-79 - Steven Awodey:
Topological representation of the lambda-calculus. 81-96
Volume 10, Number 2, April 2000
- Michael Barr, Philip J. Scott, Robert A. G. Seely:
Introduction. 97-98 - Mirjana Borisavljevic, Kosta Dosen, Zoran Petric:
On permuting cut with contraction. 99-136 - Marta Bunge, Marcelo P. Fiore:
Unique factorisation lifting functors and categories of linearly-controlled processes. 137-163 - J. Robin B. Cockett, Jürgen Koslowski, Robert A. G. Seely:
Introduction to linear bicategories. 165-203 - Esfandiar Haghverdi:
Unique decomposition categories, Geometry of Interaction and combinatory logic. 205-230 - Masahiro Hamano:
Pontrjagin duality and full completeness for multiplicative linear logic (without Mix). 231-259 - Jonathan P. Seldin:
On lists and other abstract data types in the calculus of constructions. 261-276 - Paul Ruet:
Non-commutative logic II: sequent calculus and phase semantics. 277-312
Volume 10, Number 3, June 2000
- Martín Abadi:
top-top-closed relations and admissibility. 313-320 - Andrew M. Pitts:
Parametric polymorphism and operational equivalence. 321-359 - Vincent Padovani:
Decidability of fourth-order matching. 361-372 - Razvan Diaconescu:
Category-based constraint logic. 373-407
Volume 10, Number 4, August 2000
- Eric Goubault:
Foreword. 409 - Eric Goubault:
Geometry and concurrency: a user's guide. 411-425 - Martin Raußen:
On the classification of dipaths in geometric models for concurrency. 427-457 - Lisbeth Fajstrup:
Loops, ditopology and deadlocks. 459-480 - Philippe Gaucher:
Homotopy invariants of higher dimensional categories and concurrency in computer science. 481-524 - Vaughan R. Pratt:
Higher dimensional automata revisited. 525-548 - Maurice Herlihy, Sergio Rajsbaum:
Algebraic spans. 549-573
Volume 10, Number 5, October 2000
- Malgorzata Moczurad, Jerzy Tyszkiewicz, Marek Zaionc:
Statistical properties of simple types. 575-594 - Benedetto Intrigila, E. Biasone:
On the number of fixed points of a combinator in lambda calculus. 595-615 - Kohei Honda:
Elementary structures in process theory (1): Sets with renaming. 617-663
Volume 10, Number 6, December 2000
- Christel Baier, Marta Z. Kwiatkowska:
Domain equations for probabilistic processes. 665-717 - Michael Huth, Achim Jung, Klaus Keimel:
Linear types and approximation. 719-745
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 20:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
