𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Author index to volumes 71–80

Book ID
104338580
Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
931 KB
Volume
71-80
Category
Article
ISSN
0377-0427

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Subject index to volumes 71–80
Subject index to volumes 71–80
📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 639 KB

## Subject index to Volumes 71-80 Vol (iss) pp 1) 75 (2) 71 (1-2) 176,231 73 (1-2) 5, 77, 72 (1) 75 (2) 80 (1-2) 72 (2) 71 (1-2) 33,176,213,80,351 76(1-2)55

Master index to volumes 71–80
Master index to volumes 71–80
📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 350 KB

## Barendregt, H., Enumerators of lambda terms are reducing constructively Barendsen, E. and Bezem, M., Polymorphic extensions of simple type structures. With an application to a bar recursive minimization Barker, E.J., Back and forth relations for reduced abelian p-groups