Types and computations in lambda calculi and graph rewrite systems
E. Barendsen
Types and computations in lambda calculi and graph rewrite systems
PaperbackNederlands
In het kort
ISBN-13
9789090079646
Uitgever
Verschenen
1 juli 1995
Bibliografisch
ISBN-139789090079646
Editie1
TaalNederlands dut
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01E. Barendsen
Herkomst
Werk-id (NSTC)500811348
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500811348 · CB-relatie 8916349 · Bijgewerkt 6 augustus 2026