Volume 121; Issue 1-2

Theoretical Computer Science

Volume 121; Issue 1-2
1

Editorial Board

Journal:
Theoretical Computer Science
Year:
1993
File:
PDF, 239 KB
1993
2

Preface

Mariangioli Dezani-Ciancaglini, Simona Ronchi dela Rocca, Marisa Venturini-Zilli
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 98 KB
english, 1993
3

A short scientific biography of Corrado Böhm

Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 684 KB
english, 1993
4

Formal parametric polymorphism

M. Abadi, L. Cardelli, P.-L. Curien
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 2.41 MB
english, 1993
5

Constructive proofs of the range property in lambda calculus

Henk Barendregt
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 598 KB
english, 1993
6

Some new results on easy lambda-terms

Alessandro Berarducci, Benedetto Intrigila
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 1.18 MB
english, 1993
7

Type inference, abstract interpretation and strictness analysis

Mario Coppo, Alberto Ferrari
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 1.95 MB
english, 1993
8

An analysis of Böhm's theorem

Gérard Huet
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 1.24 MB
english, 1993
9

General recursive functions in a very simply interpretable typed λ-calculus

G. Jacopini, G. Sontacchi
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 526 KB
english, 1993
10

Concrete domains

G. Kahn, G.D. Plotkin
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 5.22 MB
english, 1993
12

Set-theoretical and other elementary models of the λ-calculus

Gordon D. Plotkin
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 3.66 MB
english, 1993
13

Author Index Volume 121 (1993)

Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 61 KB
english, 1993
14

Computational foundations of basic recursive function theory

Robert L. Constable, Scott F. Smith
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 1.52 MB
english, 1993
15

Historical introduction to “concrete domains” by G. Kahn and G.D. Plotkin

Stephen Brookes
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 596 KB
english, 1993
16

Combinatory reduction systems: introduction and survey

Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 1.88 MB
english, 1993
17

Functions over free algebras definable in the simply typed lambda calculus

Daniel Leivant
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 805 KB
english, 1993
18

A type-theoretical alternative to ISWIM, CUCH, OWHY

Dana S. Scott
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 1.89 MB
english, 1993
19

Some examples of non-existent combinators

Rick Statman
Journal:
Theoretical Computer Science
Year:
1993
Language:
english
File:
PDF, 474 KB
english, 1993