Normalisation in lambda calculus and its relation to type inference
P.G. Severi
Normalisation in lambda calculus and its relation to type inference
PaperbackNederlands
In het kort
ISBN-13
9789038602189
Verschenen
1 juli 1996
Bibliografisch
ISBN-139789038602189
Editie1
TaalNederlands dut
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01P.G. Severi
Herkomst
Werk-id (NSTC)500807533
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500807533 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026