Functional Characters of Solvable Terms

Mathematical Logic Quarterly 27 (2-6):45-58 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2‐6):45-58.
Typing untyped λ-terms, or reducibility strikes again!Jean Gallier - 1998 - Annals of Pure and Applied Logic 91 (2-3):231-270.
Factorization of the Shoenfield-like Bounded Functional Interpretation.Jaime Gaspar - 2009 - Notre Dame Journal of Formal Logic 50 (1):53-60.
On an argument for functional invariance.Michael Pelczar - 2008 - Minds and Machines 18 (3):373-377.
Natural Kinds and the Identity of Property.Chang Seong Hong - 1998 - Teorema: International Journal of Philosophy 17 (1):89-98.
Theory of Computation.George Tourlakis - 2012 - Hoboken, N.J.: Wiley.
Structured characters and complex demonstratives.David Braun - 1994 - Philosophical Studies 74 (2):193--219.
Rationally Functional Dependence.Pavel Naumov & Brittany Nicholls - 2014 - Journal of Philosophical Logic 43 (2-3):603-616.
Theoretical languages in psychology.J. E. Martin - 1971 - Philosophy of Science 38 (September):344-352.
Parallel computation and the mind-body problem.Paul Thagard - 1986 - Cognitive Science 10 (3):301-18.
Functional Beauty, Perception, and Aesthetic Judgements.Andrea Sauchelli - 2013 - British Journal of Aesthetics 53 (1):41-53.
Malfunctions.Paul Sheldon Davies - 2000 - Biology and Philosophy 15 (1):19-38.

Analytics

Added to PP
2015-12-02

Downloads
28 (#490,139)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 1091--1132.
The emptiness problem for intersection types.Paweł Urzyczyn - 1999 - Journal of Symbolic Logic 64 (3):1195-1215.
Strong Normalization and Typability with Intersection Types.Silvia Ghilezan - 1996 - Notre Dame Journal of Formal Logic 37 (1):44-52.
Normalization without reducibility.René David - 2000 - Annals of Pure and Applied Logic 107 (1-3):121-130.

View all 9 citations / Add more citations

References found in this work

The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.
Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.

View all 6 references / Add more references