Amanote Research

Amanote Research

    RegisterSign In

A Formulation of the Simple Theory of Types

Journal of Symbolic Logic - United Kingdom
doi 10.2307/2266170
Full Text
Open PDF
Abstract

Available in full text

Categories
PhilosophyLogic
Date

June 1, 1940

Authors
Alonzo Church
Publisher

Cambridge University Press (CUP)


Related search

A Formulation of the Theory of Interreflection

Journal of the Illuminating Engineering Institute of Japan (Shomei Gakkai Shi)
Electronic EngineeringElectrical
1967English

A Simple Theory of Promising

The Philosophical Review
Philosophy
2006English

Statistical Properties of Simple Types

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2000English

Which Simple Types Have a Unique Inhabitant?

ACM SIGPLAN Notices
Computer Science
2015English

Surface-Integral Formulation of Scattering Theory

Annals of Physics
AstronomyPhysics
2009English

The Nature and Types of Sociological Theory

British Journal of Sociology
SociologyPolitical Science
1963English

Microscopic Formulation of Fractional Theory of Viscoelasticity

2012English

Regional Seismic-Event Characterization Using a Bayesian Formulation of Simple Kriging

Bulletin of the Seismological Society of America
PetrologyGeochemistryGeophysics
2002English

Policy Design and Non-Design: Towards a Spectrum of Policy Formulation Types

Politics and Governance
SociologyPolitical SciencePublic Administration
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy