Amanote Research

Amanote Research

    RegisterSign In

The Principle Type-Scheme of an Object in Combinatory Logic

Transactions of the American Mathematical Society - United States
doi 10.1090/s0002-9947-1969-0253905-6
Full Text
Open PDF
Abstract

Available in full text

Categories
MathematicsApplied Mathematics
Date

January 1, 1969

Authors
R. Hindley
Publisher

American Mathematical Society (AMS)


Related search

An Intuitionistic Logic That Proves Markov's Principle

2010English

An Optimal Locking Scheme in Object-Oriented Database Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Logic and Object Theory in 19th Century

Logical Investigations
2013English

Constitutional Value of the Principle of Justice as an Object of the Right to Fair Trial

LEGAL EDUCATION AND SCIENCE
2018English

Compiling a Functional Logic Language: The Fair Scheme

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

An Efficient Billing Scheme for Trusted Nodes Using Fuzzy Logic in Wireless Sensor Networks

Wireless Engineering and Technology
2014English

On the Principle and Scheme of Teaching Content Reform in the New Era

2019English

The Hamilton-Type Principle in Fluid Dynamics

2006English

Race Logic Architecture (RALA): A Novel Logic Concept Using the Race Scheme of Input Variables

IEEE Journal of Solid-State Circuits
Electronic EngineeringElectrical
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy