default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 121

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on 15 of 15 records

view refined list in

export refined list as

showing all 15 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 121, Numbers 1&2, 1993

A Collection of Contributions in Honour of Corrado Böhm on the Occasion of his 70th Birthday

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AbadiCC93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AbadiCC93
Martín Abadi, Luca Cardelli, Pierre-Louis Curien:
Formal Parametric Polymorphism. 9-58
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Barendregt93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Barendregt93
Henk Barendregt:
Constructive Proofs of the Range Property in lambda-Calculus. 59-69
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BerarducciI93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BerarducciI93
Alessandro Berarducci, Benedetto Intrigila:
Some New Results on Easy lambda-Terms. 71-88
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ConstableS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ConstableS93
Robert L. Constable, Scott F. Smith:
Computational Foundations of Basic Recursive Function Theory. 89-112
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CoppoF93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CoppoF93
Mario Coppo, Alberto Ferrari:
Type Inference, Abstract Interpretation and Strictness Analysis. 113-143
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Huet93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Huet93
Gérard P. Huet:
An Analysis of Böhm's Theorem. 145-167
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/JacopiniS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JacopiniS93
G. Jacopini, G. Sontacchi:
General Recursive Functions in a Very Simply Interpretable Typed lambda-Calculus. 169-178
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Brookes93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Brookes93
Stephen D. Brookes:
Historical Introduction to "Concrete Domains" by G. Kahn and Gordon D. Plotkin. 179-186
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KahnP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KahnP93
Gilles Kahn, Gordon D. Plotkin:
Concrete Domains. 187-277
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KlopOR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KlopOR93
Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk:
Combinatory Reduction Systems: Introduction and Survey. 279-308
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Leivant93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Leivant93
Daniel Leivant:
Functions Over Free Algebras Definable in the Simply Typed lambda Calculus. 309-322
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LongoMS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LongoMS93
Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. 323-349
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Plotkin93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Plotkin93
Gordon D. Plotkin:
Set-Theoretical and Other Elementary Models of the lambda-Calculus. 351-409
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Scott93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Scott93
Dana S. Scott:
A Type-Theoretical Alternative to ISWIM, CUCH, OWHY. 411-440
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Statman93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Statman93
Richard Statman:
Some Examples of Non-Existent Combinators. 441-448
no results

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.