Das Buch ist derzeit nicht auf Lager

Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence

Autoren

David Sabel

Parameter

Kategorien

Informatik & Programmierung

Reihe: Informatik

Buchkauf

Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence, David Sabel

Sprache
Erscheinungsdatum: 2008
product-detail.submit-box.info.binding: (Paperback)

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Feedback senden