author | wenzelm |
Tue, 03 Jul 2007 22:27:11 +0200 | |
changeset 23555 | 16e5fd18905c |
parent 15523 | 617996110388 |
child 24539 | e2bfa8a88380 |
permissions | -rw-r--r-- |
14069
ace0ee5ed528
Bibliography file with paper by Matthes and Joachimski.
berghofe
parents:
diff
changeset
|
1 |
@Article{Matthes-Joachimski-AML, |
ace0ee5ed528
Bibliography file with paper by Matthes and Joachimski.
berghofe
parents:
diff
changeset
|
2 |
author = {Felix Joachimski and Ralph Matthes}, |
ace0ee5ed528
Bibliography file with paper by Matthes and Joachimski.
berghofe
parents:
diff
changeset
|
3 |
title = {Short Proofs of Normalization for the simply-typed |
ace0ee5ed528
Bibliography file with paper by Matthes and Joachimski.
berghofe
parents:
diff
changeset
|
4 |
$\lambda$-calculus, permutative conversions and |
ace0ee5ed528
Bibliography file with paper by Matthes and Joachimski.
berghofe
parents:
diff
changeset
|
5 |
{G}{\"o}del's {T}}, |
ace0ee5ed528
Bibliography file with paper by Matthes and Joachimski.
berghofe
parents:
diff
changeset
|
6 |
journal = {Archive for Mathematical Logic}, |
ace0ee5ed528
Bibliography file with paper by Matthes and Joachimski.
berghofe
parents:
diff
changeset
|
7 |
year = 2003, |
ace0ee5ed528
Bibliography file with paper by Matthes and Joachimski.
berghofe
parents:
diff
changeset
|
8 |
volume = 42, |
ace0ee5ed528
Bibliography file with paper by Matthes and Joachimski.
berghofe
parents:
diff
changeset
|
9 |
number = 1, |
ace0ee5ed528
Bibliography file with paper by Matthes and Joachimski.
berghofe
parents:
diff
changeset
|
10 |
pages = {59--87} |
ace0ee5ed528
Bibliography file with paper by Matthes and Joachimski.
berghofe
parents:
diff
changeset
|
11 |
} |
15523 | 12 |
|
13 |
@Article{Takahashi-IandC, |
|
14 |
author = {Masako Takahashi}, |
|
15 |
title = {Parallel reductions in $\lambda$-calculus}, |
|
16 |
journal = {Information and Computation}, |
|
17 |
year = 1995, |
|
18 |
volume = 118, |
|
19 |
number = 1, |
|
20 |
pages = {120--127}, |
|
21 |
month = {April} |
|
22 |
} |