An Algebraic interpretation of the [lambda-beta-kappa]-calculus and a labelled [lambda]-calculus
An Algebraic interpretation of the [lambda-beta-kappa]-calculus and a labelled [lambda]-calculus
Détails de l'édition
- Éditeur
- LABORIA (Rocquencourt)
- Date de publication
- 1 janvier 1975
- Langue
- eng
- Pages
- 7
- Dimensions
- 30 cm
Provenance des données
- dimensions BnF Catalogue général · 23 juillet 2026
- language BnF Catalogue général · 23 juillet 2026
- page_count BnF Catalogue général · 23 juillet 2026
- publication_date BnF Catalogue général · 23 juillet 2026