Applied semantics international summer school ; advanced lectures

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Summer School on Applied Semantics
Weitere Verfasser:	Barthe, Gilles (HerausgeberIn), Dybjer, Peter (HerausgeberIn), Pinto, Luís (HerausgeberIn), Saraiva, João (HerausgeberIn), Coquand, Thierry (MitwirkendeR), Benton, Nick (MitwirkendeR), Hughes, John (MitwirkendeR), Moggi, Eugenio (MitwirkendeR), Curien, Pierre-Louis (MitwirkendeR), Filinski, Andrzej (MitwirkendeR), Edalat, Abbas (MitwirkendeR), Heckmann, Reinhold (MitwirkendeR), Fournet, Cédric (MitwirkendeR), Gonthier, Georges (MitwirkendeR), Odersky, Martin (MitwirkendeR), Pitts, Andrew M. (MitwirkendeR), Rémy, Didier (MitwirkendeR)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin Springer 2002
Schriftenreihe:	Lecture notes in computer science Vol. 2395
Schlagworte:	Programmierung > Typentheorie > Programmiersprache > Formale Semantik > Programmverifikation > Programmtransformation > Konferenzschrift
Online Zugang:	Kapitel 1 Cover Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!