Turing, Alan M. (1937) The þ-Function in \(λ\)-K-Conversion. J. Symb. Log., 2 (4). p. 164.
Full text not available from this repository.
Official URL: http://dx.doi.org/10.2307/2268281
Item Type: | Article |
---|---|
Depositing User: | Unnamed user with email dlinke@informatik.uni-rostock.de |
Date Deposited: | 18 Jun 2015 08:19 |
Last Modified: | 18 Jun 2015 08:19 |
URI: | http://eprints.informatik.uni-rostock.de/id/eprint/23 |
Actions (login required)
View Item |