CiteSeer.IST Home   Check: The following citations are predicted to all refer to the same paper.   Details

G. D. Plotkin. Lambda-Definability in the Full Type Hierarchy. In Jonathan P. Seldin and J. Roger Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 363--373. Academic Press, London, 1980.

Gordon Plotkin. Lambda-definability in the full type hierarchy. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism, pages 363--373. Academic Press, 1980.

G. D. Plotkin. Lambda-definability in the full type hierarchy. In To H.B.Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, 1980.

G. D. Plotkin. Lambda-definability in the full type hierarchy. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, New York, 1980.

G. Plotkin. Lambda-definability in the full type hierarchy. In: To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, 363--373. Academic Press (1980).

Gordon Plotkin. Lambda-definability in the full type hierarchy. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalism, pages 363-- 373. Academic Press, 1980.

G.D. Plotkin, Lambda Definability in the Full Type Hierarchy, in: To H.B. Curry, Essays on Combinatory Logic, Lambda Calculus and Formalism, (1980), pp. 363-373.

G. Plotkin. Lambda-Definability in the full Type Hierarchy. In J. P. Seldin and J. R. Hindley, editors, To H.B. Curry : essays on combinatory logic, lambda calculus and formalism, 363--373. Academic Press, London, 1980.

G.D. Plotkin, "Lambda-Definability in the Full Type Hierarchy", in J.P. Seldin, J.R. Hindley eds., To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, London 1980, 363-373.

G. Plotkin. Lambda-definability in the full type hierarchy. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalism, pages 363--373. Academic Press, 1980.

G.D. Plotkin. Lambda-definability in the full type hierarchy. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, New York, 1980.

Plotkin, G. D. (1980). Lambda-definability in the full type hierarchy. In Seldin, J. P. and Hindley, J. R., editors, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalism, pages 363--373. Academic Press.

G.D. Plotkin. Lambda definability in the full type hierarchy. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 363--373, London, 1980. Academic Press.

G.D. Plotkin. Lambda definability in the full type hierarchy. In To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 363--373. Academic Press, 1980.

G. D. Plotkin. Lambda-definability in the full type hierarchy. In Jonathan P. Seldin and J. Roger Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 363--373. Academic Press, London, 1980.

Gordon Plotkin. Lambda-definability in the full type hierarchy. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism, pages 363--373. Academic Press, 1980.

Gordon Plotkin. Lambda-definability in the full type hierarchy. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalism, pages 363-- 373. Academic Press, 1980.

Plotkin, G. D. (1980). Lambda-definability in the full type hierarchy. In Seldin, J. P. and Hindley, J. R., editors, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalism, pages 363--373. Academic Press.

G.D. Plotkin. Lambda definability in the full type hierarchy. In R. Hindley and J. Seldin, editors, To H.B. Curry: essays in Combinatory Logic, lambda calculus and Formalisms. Academic Press, 1980.

Gordon D. Plotkin. Lambda-definability in the full type hierarchy. In To H.B.Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, 1980.

Plotkin, G. D. Lambda-Definability in the Full Type Hierarchy. in: To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, edited by J. P. Seldin and J. R. Hindley. Academic Press, London, 1980, pp. 363--373.

G.D.Plotkin. Lambda-definability in the full type hierarchy. In J.Seldin and J.Hindley, eds., To H.B.Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, 363-374. Academic Press, 1980.

G. D. Plotkin. Lambda-definability in the full type hierarchy. In To H.B.Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, 1980.

G. D. Plotkin. Lambda-definability in the full type hierarchy. In J. Seldin and J. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 363--374. Academic Press, 1980.

Gordon D. Plotkin. Lambda-definability in the full type hierarchy. In J. ~ P. Seldin and J. ~ R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 363--373. Academic Press, 1980.

G. Plotkin, Lambda-definability in the full type hierarchy, In To: H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, J.P. Seldin and J.R. Hindley, eds., Academic Press, New York, 1980.

Plotkin, G.D. (1980), Lambda-definability in the full type hierarchy, in "To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism", Academic Press.

G. Plotkin. Lambda-definability in the full type hierarchy. In: To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, 363--373. Academic Press (1980).

G.D. Plotkin. Lambda definability in the full type hierarchy. In To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 363--373. Academic Press, 1980.

G. Plotkin. Lambda-definability in the full type hierarchy. In: To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, 363--373. Academic Press (1980).

G. Plotkin. Lambda-definability in the full type hierarchy. In: To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, 363--373. Academic Press (1980).

Plotkin, G. D. (1980). Lambda-definability in the full type hierarchy. In J. P.

G. D. Plotkin, Lambda-Definability in the Full Type Hierarchy, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, J.R. Hindley and J.P. Seldin (Eds.), Academic Press, 1980, pp. 365-373.

Gordon D. Plotkin. Lambda-definability in the full type hierarchy. In J.P. Seldin and J.R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 363--374. Academic Press, 1980.

G.D. Plotkin. Lambda definability in the full type hierarchy. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 363--373, London, 1980. Academic Press.

G. D. Plotkin. Lambda-definability in the full type hierarchy. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalism, pages 363-- 373. Academic Press, 1980.

Gordon Plotkin. Lambda-definability in the full type hierarchy. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalism, pages 363--373. Academic Press, 1980.

G.D. Plotkin. Lambda definability in the full type hierarchy. In To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 363--373. Academic Press, 1980.

G.D. Plotkin. Lambda-definability in the full type hierarchy. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, New York, 1980.

G. D. Plotkin. Lambda definability in the full type hierarchy, in: P. Seldin and R. Hindley, eds., To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp. 363-373. Academic Press, New York, 1980.

Gordon D. Plotkin. Lambda-definability in the full type hierarchy. In J.P. Seldin and J.R. Hindley, editors, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, London, 1980.

Plotkin, G. D. 1980. Lambda-definability in the full type hierarchy. In J. P. Seldin and J. R. Hindley Eds., To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalism, pp. 363--373. Academic Press.

G.D. Plotkin, Lambda-definability in the full type hierarchy, in `To H.B. Curry: essays on combinatory logic, lambda calculus and formalism' (Seldin and Hindley, eds), Academic Press, 1980.

G.D. Plotkin, Lambda-definability in the full type hierarchy, in `To H.B. Curry: essays on combinatory logic, lambda calculus and formalism' (Seldin and Hindley, eds), Academic Press, 1980.

G. Plotkin. Lambda-definability in the full type hierarchy. In J.P. Seldin and J.R. Hindley, editors, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, pages 363--373. Academic Press, New York, 1980.

G. D. Plotkin. Lambda-definability in the full type hierarchy. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalism, pages 363-373. Academic Press, 1980.

G.D. Plotkin. Lambda definability in the full type hierarchy. In To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 363--373. Academic Press, 1980.

G. Plotkin. Lambda-definability in the full type hierarchy. In: To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, 363--373. Academic Press (1980).

G.D. Plotkin, "Lambda-Definability in the Full Type Hierarchy", in J.P. Seldin, J.R. Hindley eds., To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, London 1980, 363-373.

G.D. Plotkin. Lambda definability in the full type hierarchy. In To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 363--373. Academic Press, 1980.

G. D. Plotkin, Lambda-Definability in the Full Type Hierarchy, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, J.R. Hindley and J.P. Seldin (Eds.), Academic Press, 1980, pp. 365-373.

G.D. Plotkin. Lambda definability in the full type hierarchy. In R. Hindley and J. Seldin, editors, To H.B. Curry: essays in Combinatory Logic, lambda calculus and Formalisms. Academic Press, 1980.

G. D. Plotkin. Lambda-definability in the full type hierarchy. In To H.B.Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, 1980.

CiteSeer.IST - Copyright Penn State and NEC