The parametric lambda calculus : a metamodel for computation

The parametric lambda calculus a metamodel for computation

Enth. Literaturverz. (S. [241] - 246) und Index

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Ronchi Della Rocca, Simona (VerfasserIn)
Weitere Verfasser: Paolini, Luca (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 2004
Schriftenreihe:Texts in theoretical computer science - an EATCS series
Schlagworte:
Lambda calculus > Lambda-Kalkül > Parametrisierung > Operationale Semantik > Funktionale Semantik > Delta-Kalkül
Online Zugang:Cover
Inhaltsverzeichnis
Kapitel 1
Inhaltstext
Contributor biographical information
Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Enth. Literaturverz. (S. [241] - 246) und Index
Beschreibung:XIII, 252 S.
graph. Darst.
ISBN:3540200320
3-540-20032-0