Terra Cognita

A Lambda-Calculus with letrec, case, constructors and non-determinism

Licence unknown link only — licence forbids redistribution arxiv

Manfred Schmidt-Schau{\ss}, Michael Huber

arXiv preprint (cs.PL, cs.AI, cs.SC).

Source ↗

ABSTRACT · 0.0 MB · sha256 29e9f9bed13a…

Concepts this teaches

Not yet mapped to any concept.

A resource only becomes useful here once a curator has anchored it to concepts at specific pages. Until then it is a book on a shelf.