The þ-Function in \(λ\)-K-Conversion

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 View Item
Eprints is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.