[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Alexandra Weber Morales
- Demonstrates that partial and under-defined functions can not be used consistently with normal axioms of λ calculus. Proposes remedies -- essentially limiting substitutions to particular proper values and functions.
- disclaimer: page 700: "We Thank David Watt and Richard Botting for reviewing drafts of this article."
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]