The parametric lambda calculus a meta-model for computation

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ronchi della Rocca, Simona (VerfasserIn)
Weitere Verfasser:	Paolini, Luca (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan ; Paris ; Tokyo Springer 2004
Schriftenreihe:	Texts in theoretical computer science
Schlagworte:	Lambda calculus > Parametrisierung > Funktionale Semantik > Delta-Kalkül > Operationale Semantik > Lambda-Kalkül
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

The parametric lambda calculus a meta-model for computation