Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice operationale Semantik, Programmtransformationen und Anwendungen

Description

Univ., Diss., 2000--Frankfurt (Main)

Links & Downloads

1. http://publikationen.ub.uni-frankfurt.de/volltexte/2005/1930/

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/179812376
Creators	Kutzner, Arne
Source Sets	OCLC
Language	German
Detected Language	English