Das Buch ist derzeit nicht auf Lager

Typed lambda calculi and applications

Autoren

Jean-Yves Girard

Parameter

Kategorien

Informatik & Programmierung

Reihe: Lecture notes in computer science

Buchkauf

Typed lambda calculi and applications, Jean-Yves Girard

Sprache
Erscheinungsdatum: 1999

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Feedback senden