Models for simply typed lambda-calculi with fixed point combinators and enumerators
J.P.C.M. van Draanen
Models for simply typed lambda-calculi with fixed point combinators and enumerators
Paperback210 pagina’sEngels
In het kort
ISBN-13
9789090081960
Uitgever
Verschenen
1 juli 1995
Bibliografisch
ISBN-139789090081960
Editie1
TaalEngels eng
Pagina’s210
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01J.P.C.M. van Draanen
Herkomst
Werk-id (NSTC)500812282
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
NSTC 500812282 · CB-relatie 8016560 · Bijgewerkt 6 augustus 2026