Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by R. Hindley
The Principle Type-Scheme of an Object in Combinatory Logic
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Standard and Normal Reductions
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Related publications
An Intuitionistic Logic That Proves Markov's Principle
An Optimal Locking Scheme in Object-Oriented Database Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic and Object Theory in 19th Century
Logical Investigations
Constitutional Value of the Principle of Justice as an Object of the Right to Fair Trial
LEGAL EDUCATION AND SCIENCE
Compiling a Functional Logic Language: The Fair Scheme
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Efficient Billing Scheme for Trusted Nodes Using Fuzzy Logic in Wireless Sensor Networks
Wireless Engineering and Technology
On the Principle and Scheme of Teaching Content Reform in the New Era
The Hamilton-Type Principle in Fluid Dynamics
Race Logic Architecture (RALA): A Novel Logic Concept Using the Race Scheme of Input Variables
IEEE Journal of Solid-State Circuits
Electronic Engineering
Electrical
