iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/db/journals/tcs/tcs227.html

dblp: Theoretical Computer Science, Volume 227

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 227

> Home > Journals > Theoretical Computer Science

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 227, Numbers 1-2, September 1999

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AbramskyM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AbramskyM99
Samson Abramsky, Guy McCusker:
Full Abstraction for Idealized Algol with Passive Expressions. 3-42
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Bierman99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Bierman99
Gavin M. Bierman:
A Classical Linear lambda-Calculus. 43-78
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DanosR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DanosR99
Vincent Danos, Laurent Regnier:
Reversible, Irreversible and Optimal lambda-Machines. 79-97
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Guerrini99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Guerrini99
Stefano Guerrini:
A General Theory of Sharing Graphs. 99-151
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HuJ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HuJ99
Hongde Hu, André Joyal:
Coherence Completions of Categories. 153-184
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KobayashiSY99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KobayashiSY99
Naoki Kobayashi, Toshihiro Shimizu, Akinori Yonezawa:
Distributed Concurrent Linear Logic Programming. 185-220
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Metayer99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Metayer99
François Métayer:
Polynomial Equivalence Among Systems LLNC, LLNC_a and LLNC₀. 221-229
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/TurnerW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/TurnerW99
David N. Turner, Philip Wadler:
Operational Interpretations of Linear Logic. 231-248
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Girard99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Girard99
Jean-Yves Girard:
On Denotational Completeness. 249-273
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Girard99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Girard99a
Jean-Yves Girard:
Coherent Banach Spaces: A Continuous Denotational Semantics. 275-297
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LincolnMS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LincolnMS99
Patrick Lincoln, John C. Mitchell, Andre Scedrov:
Optimization Complexity of Linear Logic Proof Games. 299-331
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Okada99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Okada99
Mitsuhiro Okada:
Phase Semantic Cut-Elimination and Normalization Proofs of First- and Higher-Order Linear Logic. 333-396

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.