Meeting of the Association for Symbolic Logic. - E. J. Lemmon; M. A. E. Dummett; John N. Crossley (J. Symb. Log., 1963)

Meeting of the Association for Symbolic Logic. - John N. Crossley (J. Symb. Log., 1966)

Constructive Order Types, II. - John N. Crossley (J. Symb. Log., 1966)

Meeting of the Association for Symbolic Logic: Melbourne, Australia 1979. - John N. Crossley; Lloyd Humberstone (J. Symb. Log., 1981)

Preface. - John N. Crossley (Ann. Pure Appl. Log., 1986)

Recursive categoricity and recursive stability. - John N. Crossley; Alfred B. Manaster; Michael F. Moses (Ann. Pure Appl. Log., 1986)

Natural well-orderings. - John N. Crossley; Jane Bridge Kister (Arch. Math. Log., 1987)

Interface Logic Programming. - John N. Crossley; Pierre Lim; Peter J. Stuckey (Aust. Comput. J., 1989)

Completeness Proofs for Propositional Logic with Polynomial-Time Connectives. - John N. Crossley; Philip J. Scott (Ann. Pure Appl. Log., 1989)

Cancellation Laws for Polynomial-Time p-Isolated Sets. - John N. Crossley; Jeffrey B. Remmel (Ann. Pure Appl. Log., 1992)

A logical calculus for polynomial-time realizability. - John N. Crossley; Gerald L. Mathai; Robert A. G. Seely (Methods Log. Comput. Sci., 1994)

Proofs, programs, and run times. - John N. Crossley; Jeffrey B. Remmel (Methods Log. Comput. Sci., 1994)

Practical Logic (Abstract). - John N. Crossley (ISAAC, 1995)

First-Order Constrained Lambda Calculus. - John N. Crossley; Luis Mandel; Martin Wirsing (FroCoS, 1996)

New Curry-Howard Terms for Full Linear Logic. - David W. Albrecht; John N. Crossley; John S. Jeavons (Theor. Comput. Sci., 1997)

Proof Normalization of Structured Algebraic Specifications Is Convergent. - Martin Wirsing; John N. Crossley; Hannes Peterreins (WADT, 1998)

Curry-Howard Terms for Linear Logic. - Frank A. Bäuerle; David W. Albrecht; John N. Crossley; John S. Jeavons (Stud Logica, 1998)

Extraction of Structured Programs from Specification Proofs. - John N. Crossley; Iman Poernomo; Martin Wirsing (WADT, 1999)

Protocols between Programs and Proofs. - Iman Poernomo; John N. Crossley (LOPSTR (LNCS 2042: Selected Papers), 2000)

Programs, Proofs and Parametrized Specifications. - Iman Poernomo; John N. Crossley; Martin Wirsing (WADT, 2001)

Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs. - John N. Crossley; Iman Poernomo (J. Univers. Comput. Sci., 2001)

Constraint-Lambda Calculi. - Matthias M. Hölzl; John N. Crossley (FroCoS, 2002)

Declarative N. Programming: A logical view. - John N. Crossley (CATS, 2002)

Disjunctive Constraint Lambda Calculi. - Matthias M. Hölzl; John N. Crossley (LPAR, 2005)

Preface. - Stuart Allen; John N. Crossley; Kung-Kiu Lau; Iman Poernomo (CLASE, 2005)

Adapting Proofs-as-Programs - The Curry-Howard Protocol - Iman Hafiz Poernomo; Martin Wirsing; John Newsome Crossley (Springer, 2005)

Tiered Logic for Agents. - Rosalito Perez Cruz; John Newsome Crossley (ICAART, 2009)

Tiered Logic for Agents in Contexts. - Rosalito Perez Cruz; John Newsome Crossley (ICAART (Revised Selected Papers), 2009)

Contextualizing Ontologies for Agents. - Lito Perez Cruz; John Newsome Crossley (KEOD, 2010)

What Is Mathematical Logic? A Survey. - John N. Crossley (Proof, Computation and Agency, 2011)

What Is a Proof? - John N. Crossley (Proof, Computation and Agency, 2011)

What Is the Difference Between Proofs and Programs? - John N. Crossley (Proof, Computation and Agency, 2011)

LMT: A Lightweight Logical Framework for Multi-agent Systems. - John Newsome Crossley; Lito Perez Cruz (KES, 2012)

Logics Modulo Theories: a logical framework for multi-agent systems. - Lito Perez Cruz; John Newsome Crossley (Log. J. IGPL, 2015)

What is mathematical logic? An Australian odyssey. - John Newsome Crossley (Log. J. IGPL, 2023)