Stop the war!
Остановите войну!
for scientists:
default search action
Theoretical Computer Science, Volume 278
Volume 278, Number 1-2, May 2002
- 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
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.