[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- William M Farmer
- A Basic Extended Simple Type Theory
- McMaster University Hamilton Ontario CA (29 Sep 2003)
- =IDEA LOGIC TYPES
- BESTT::= CSTT with HOL, sets, lists, & tuples.
- CSTT::= Church's Simple Type Theory.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]