Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence

Description

Zugl.: Frankfurt (Main), Univ., Diss., 2008

Links & Downloads

1. http://d-nb.info/992163102/04

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/423749520
Date	January 2008
Creators	Sabel, David
Publisher	München Verl. Dr. Hut
Source Sets	OCLC
Language	English
Detected Language	English