Return to search

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

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

  1. http://d-nb.info/992163102/04
Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/423749520
Date January 2008
CreatorsSabel, David
PublisherMùˆnchen Verl. Dr. Hut
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0017 seconds