Toward Useful Type-Free Theories. I

Journal of Symbolic Logic - United Kingdom
doi 10.2307/2274093
Full Text
Abstract

Available in full text

Categories
PhilosophyLogic
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Toward Humanistic Theories of Legal Justice

Cardozo Studies in Law and Literature
1998English

How Useful Are Feminist Theories of the Welfare State?

Women's History Review
Gender StudiesHistory
1995English

Complete Coinductive Theories. I

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1990English

Reforming Indicated Type Theories

British Journal of Aesthetics
Philosophy
2005English

Toward an AIDS-Free Generation

JAMA - Journal of the American Medical Association
Medicine
2012English

Perfect Lattice Action for Asymptotically Free Theories

Nuclear Physics B
High Energy PhysicsNuclear
1994English

The Homotopy Theory of Type Theories

Advances in Mathematics
Mathematics
2018English

Bianchi Type-I Cosmological Model in Scalar Tensor Theories of Gravitation With Viscous Fluid Distribution

IOSR Journal of Mathematics
2012English

Arends of Environmental Education-Toward Linking Theories and Practices

TRENDS IN THE SCIENCES
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy