Volume 278, Number 1-2, May 2002
Mathematical Foundations of Programming Semantics 1996, Boulder, June 1996
- Stephen D. Brookes, Michael W. Mislove:
Foreword - MFPS 1996.
1-2
- Peter J. Freyd:
Cartesian logic.
3-21
- Stephen D. Brookes, Michael W. Mislove:
Dedication.
23
- Melvin Fitting:
Fixpoint semantics for logic programming a survey.
25-51
- Matthew Hennessy:
A fully abstract denotational semantics for the pi-calculus.
53-89
- Antonio Bucciarelli, Pasquale Malacaria:
Relative definability of boolean functions via hypergraphs.
91-110
- Adrian Fiech, David A. Schmidt:
Polymorphic lambda calculus and subtyping.
111-140
- Robert C. Flagg, Philipp Sünderhauf:
The essence of ideal completion in quantitative form.
141-158
- Hans-Peter A. Künzi, Michel P. Schellekens:
On the Yoneda completion of a quasi-metric space.
159-194
- Paul Gastin, Dan Teodosiu:
Resource traces: a domain for processes sharing exclusive resources.
195-221
- Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Truly concurrent constraint programming.
223-255
- Philip S. Mulry:
Lifting results for categories of algebras.
257-269
- David A. Naumann:
Soundness of data refinement for a higher-order imperative language.
271-301
- John Power:
Premonoidal categories as categories with algebraic structure.
303-321
- John Power, Giuseppe Rosolini:
Fixpoint operators for domain equations.
323-333
Last update Sat May 18 20:57:02 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
