John Newsome Crossley

John Newsome Crossley's AcademicInfluence.com Rankings

Philosophy

#2381

World Rank

#4090

Historical Rank

Logic

#1701

World Rank

#2525

Historical Rank

philosophy Degrees

John Newsome Crossley

Mathematics

#4815

World Rank

#6809

Historical Rank

mathematics Degrees

Download Badge

Philosophy
Mathematics

Why Is John Newsome Crossley Influential?

(Suggest an Edit or Addition)

According to Wikipedia, John Newsome Crossley is a British-Australian mathematician and logician who writes in the field of logic in computer science, history of mathematics and medieval history. He is involved in the field of mathematical logic in Australia and South East Asia.

(See a Problem?)

John Newsome Crossley's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Extraction of Structured Programs from Specification Proofs (1999) (320)
Formal Systems and Recursive Functions (1963) (133)
Chinese Mathematics: A Concise History (1987) (78)
Algebra and Logic (1975) (39)
Set Theory and Higher-Order Logic (1965) (27)
Extracting programs from proofs by an extension of the Curry-Howard process (1993) (24)
Adapting Proofs-as-Programs - The Curry-Howard Protocol (2005) (21)
The given (1982) (20)
A note on Cantor's theorem and Russell's paradox (1973) (18)
Natural well-orderings (1987) (16)
Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday (1994) (16)
Reminiscences of logicians (1975) (16)
Recursive categoricity and recursive stability (1986) (14)
Constructive order types, II (1997) (12)
Effect of Testosterone on Œstrogen-induced Bone Formation in Mice (1962) (11)
The Work of Anil Nerode: A Retrospective (1993) (10)
Proceedings of the 7th and 8th Asian Logic Conferences (2003) (10)
A logical calculus for polynomial-time realizability (1994) (10)
First-Order Constrained Lambda Calculus (1996) (9)
Alan Turing and the Turing Machine.Turing's Analysis of Computability, and Major Applications of it.The Confluence of Ideas in 1936.Turing in the Land of O.Mathematical Logic and the Origin of Modern Computers (1991) (8)
The right man for the job (2016) (7)
Proof Normalization of Structured Algebraic Specifications Is Convergent (1998) (6)
Curry-Howard Terms for Linear Logic (1998) (5)
Fred: An implementation of a layered approach to extracting programs from proofs. Part I: an applica (2000) (4)
Sets, Models and Recursion Theory Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965 (1967) (4)
What Is Mathematical Logic? A Survey (2011) (4)
Tiered Logic for Agents (2009) (4)
The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning (2003) (4)
Cancellation Laws for Polynomial-Time p-Isolated Sets (1992) (4)
Program extraction , simpli ed proof-terms (2007) (4)
Polynomial-time combinatorial operators are polynomials (1990) (4)
Non-uniqueness at ω2 in Kleene'sO (1966) (3)
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia (1975) (3)
INDEPENDENCE RESULTS CONCERNING DEDEKIND-FINITE SETS (2008) (3)
Constructive order types, III (1966) (3)
New Curry-Howard Terms for Full Linear Logic (1997) (3)
Constraint-Lambda Calculi (2002) (3)
Interface Logic Programming (1990) (3)
Proofs, programs, and run times (1994) (3)
Raymond Llull's Contributions to Computer Science (2005) (3)
Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs (2001) (2)
Growing Ideas of Number (2007) (2)
A layered approach to extracting programs from proofs with an application in graph theory (2003) (2)
Programs, Proofs and Parametrized Specifications (2001) (2)
Undecidability and recursive equivalence II (1984) (2)
Cálculo lambda de primer orden con constraints y la propiedad church-rosser (1995) (2)
An Early Monash Pioneer: Appointed 1964, Retired 2003 (2021) (1)
Completeness Proofs for Propositional Logic with Polynomial-Time Connectives (1989) (1)
Tiered Logic for Agents in Contexts (2009) (1)
What Is the Difference Between Proofs and Programs? (2011) (1)
Review: A. H. Lightstone, Mathematical logic. An introduction to model theory (1979) (1)
Protocols between programs and proofs (2000) (1)
Contextualizing Ontologies for Agents (2010) (1)
Disjunctive Constraint Lambda Calculi (2005) (1)
LMT: A Lightweight Logical Framework for Multi-agent Systems (2012) (1)
Recursive equivalence: A survey (1968) (1)
Review: Yu. L. Ershov, S. S. Goncharov, A. Nerode, J. B. Remmel, V. W. Marek, Handbook of Recursive Mathematics. Volume 2, Recursive Algebra, Analysis and Combinatorics (2001) (1)
Computable Functionals of Finite Type I. (1970) (1)
Logics Modulo Theories: a logical framework for multi-agent systems (2015) (1)
Association for Symbolic Logic (1972) (0)
A Logic-based Modelling of Prolog Resolution Sequences (1992) (0)
The essentials of, and for, mathematics (2006) (0)
Table Des matieres du vol. 137-138 (1992) (0)
Whimpers, and a bang (2016) (0)
Review: Alfred B. Manaster, Rich Co-Ordinals, Addition Isomorphisms, and RETs (1971) (0)
Declarative N. Programming: A logical view (2002) (0)
RECURSIVE EQUIVALENCE (2006) (0)
Manaster Alfred B.. Rich co-ordinals, addition isomorphisms, and RETs. The journal of symbolic logic , vol. 34 (1969), pp. 45–52. (1971) (0)
Constructive Logic for Automated Software Engineering (CLASE) Workshop (2006) (0)
Correct Interaction Between Programs and Proofs (2000) (0)
Recovering Indigenous Mathematics (1998) (0)
Epilogue Challenging cultures (2016) (0)
Programs from Specification Proofs (2000) (0)
The Dimension Case (1974) (0)
Symmetry and separation of (2007) (0)
Disputes with Bishop Salazar (2016) (0)
H. L. L. Busard, Campanus of Novara and Euclid's “Elements.” (Boethius, 51, 1 and 2.) Wiesbaden: Franz Steiner, 2005. 1: pp. vii, 1–530; many diagrams. 2: pp. iv, 531–768; diagrams. €115. (2008) (0)
Review: Eckart Menzler-Trotts's: Logic's lost genius: The life of Gerhard Gentzen (2008) (0)
Review: Dirk van Dalen, Algorithms and Decision Problems: a Crash Course in Recursion Theory (1989) (0)
Axiomatization via translation: Hiz's warning for predicate logic (2022) (0)
A Sense of Proportion (2021) (0)
What Is a Proof? (2011) (0)
Categories and Functors (1974) (0)
A Sense of Proportion (2021) (0)
A Case Study for Reliable, Reusable Software (2000) (0)
Meeting of the Association for Symbolic Logic (1966) (0)
Untyped Constrained Lambda Calculus (2007) (0)
A warm welcome for the new governor (2016) (0)
What is a logic (2012) (0)
Association for Symbolic Logic (1974) (0)
Distributor:DepartmentofMathematics,Box480,S-75106Uppsala,Sweden PrintedinSwedenbyReprocentralenHSC,Uppsala1997 ToJessicaAcknowledgements (2011) (0)
… and so on: Schütte on Naming Ordinals (2020) (0)
POLYNOMIAL-TIME PROPOSITIONAL LOGIC. (1988) (0)
The pen and the sword (2016) (0)
Meeting of the Association for Symbolic Logic, Melbourne, Australia, 1979 (1981) (0)
1st IEEE YUFORIC Workshop on Formal Methods for Dependable Systems (1998) (0)
The Automorphism Extension Property (1974) (0)
Reporting home – and getting no reply (2016) (0)
Preface (2005) (0)
Association for Symbolic Logic (1975) (0)
The young governor (2016) (0)
Practical Logic (Abstract) (1995) (0)
NOWHERE SIMPLICITY IN MATROIDS (2008) (0)
New ventures and old (2016) (0)
Association for Symbolic Logic (1978) (0)
Falling on hard times (2016) (0)
The Natural Numbers (1987) (0)
Practical logic (Invited presentation) (1995) (0)
A will but no way (2016) (0)
In the shadow of Santiago (2016) (0)
Association for Symbolic Logic (1970) (0)
Preface (1986) (0)
Meeting of the Association for Symbolic Logic (1963) (0)
A Bull in the Archives (2017) (0)
The Totality of Real Numbers (1987) (0)
Logic and computation : proceedings of a conference, Monash University, Clayton, Victoria, Australia, 3-8 January, 1984 (1984) (0)
Extracting simple programs from second order proofsDavid (2007) (0)

This paper list is powered by the following services:

Other Resources About John Newsome Crossley

en.wikipedia.org

What Schools Are Affiliated With John Newsome Crossley?

John Newsome Crossley is affiliated with the following schools:

John Newsome Crossley's Academic­Influence.com Rankings

Why Is John Newsome Crossley Influential?

John Newsome Crossley's Published Works

Published Works

Other Resources About John Newsome Crossley

What Schools Are Affiliated With John Newsome Crossley?

John Newsome Crossley's AcademicInfluence.com Rankings