Lorenz, Gernot: Funktionale Modellierung und Rekursion
: Praxis - Didaktik - Theorie / von Gernot Lorenz. - München : Oldenbourg, 2012. - VIII, 254 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-486-71788-4 / 3-486-71788-X kart. : EUR 29.80 (DE), EUR 30.70 (AT)
Literaturangaben
Quelle: DNB Verlagsmeldungen
McCusker, Guy: Games and full abstraction for a functional metalanguage with recursive types
/ Guy McCusker. - London : Springer, 1998. - XIII, 189 S. : graph. Darst.; 24 cm - (CPHC/BCS distinguished dissertations)
ISBN 978-3-540-76255-3 / 3-540-76255-8 Pp. : DM 139.00
Literaturverz. S. 175 - 184
Quelle: DNB
Smith, Carl H.: A recursive introduction to the theory of computation
/ Carl H. Smith. - New York : Springer, 1994. - VIII, 148 S. : graph. Darst.; 25 cm - (Graduate texts in computer science)
ISBN 978-3-540-94332-7 / 3-540-94332-3 Pp. : DM 56.00
Quelle: DNB
