A non-deterministic call-by-need lambda calculus proving similarity a precongruence by an extension of Howe's method to sharing

Description

Univ., Diss., 2005--Frankfurt (Main) / Zsfassung in dt. und engl. Sprache

Links & Downloads

1. http://publikationen.ub.uni-frankfurt.de/volltexte/2006/2466/

Tags

Lambda-Kalkül. Nichtdeterminismus.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/179795296
Creators	Mann, Matthias
Source Sets	OCLC
Language	English
Detected Language	English