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
Electronic Edition (link) BibTeX
- Peter J. Freyd:
Cartesian logic.
3-21
Electronic Edition (link) BibTeX
- Stephen D. Brookes, Michael W. Mislove:
Dedication.
23
Electronic Edition (link) BibTeX
- Melvin Fitting:
Fixpoint semantics for logic programming a survey.
25-51
Electronic Edition (link) BibTeX
- Matthew Hennessy:
A fully abstract denotational semantics for the pi-calculus.
53-89
Electronic Edition (link) BibTeX
- Antonio Bucciarelli, Pasquale Malacaria:
Relative definability of boolean functions via hypergraphs.
91-110
Electronic Edition (link) BibTeX
- Adrian Fiech, David A. Schmidt:
Polymorphic lambda calculus and subtyping.
111-140
Electronic Edition (link) BibTeX
- Robert C. Flagg, Philipp Sünderhauf:
The essence of ideal completion in quantitative form.
141-158
Electronic Edition (link) BibTeX
- Hans-Peter A. Künzi, Michel P. Schellekens:
On the Yoneda completion of a quasi-metric space.
159-194
Electronic Edition (link) BibTeX
- Paul Gastin, Dan Teodosiu:
Resource traces: a domain for processes sharing exclusive resources.
195-221
Electronic Edition (link) BibTeX
- Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
Truly concurrent constraint programming.
223-255
Electronic Edition (link) BibTeX
- Philip S. Mulry:
Lifting results for categories of algebras.
257-269
Electronic Edition (link) BibTeX
- David A. Naumann:
Soundness of data refinement for a higher-order imperative language.
271-301
Electronic Edition (link) BibTeX
- John Power:
Premonoidal categories as categories with algebraic structure.
303-321
Electronic Edition (link) BibTeX
- John Power, Giuseppe Rosolini:
Fixpoint operators for domain equations.
323-333
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:24:43 2009
by Michael Ley (ley@uni-trier.de)
