John N. Crossley

31 papers B 2C 1Journal 16Unranked 8

Year	Rank	Type	Title / Venue / Authors
2011	—	`ch.`	What Is Mathematical Logic? A Survey. Proof, Computation and Agency John N. Crossley
2011	—	`ch.`	What Is a Proof? Proof, Computation and Agency John N. Crossley
2011	—	`ch.`	What Is the Difference Between Proofs and Programs? Proof, Computation and Agency John N. Crossley
2008	J	`jnl`	Review: Eckart Menzler-Trott's - Logic's Lost Genius: The Life of Gerhard Gentzen. Australas. J. Log. John N. Crossley
2006	—	`ed.`	Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005 CLASE Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo
2005	B	`conf`	Disjunctive Constraint Lambda Calculi. LPAR Matthias M. Hölzl, John N. Crossley
2005	—	`conf`	Preface. CLASE Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo
2002	—	`conf`	Constraint-Lambda Calculi. FroCoS Matthias M. Hölzl, John N. Crossley
2002	—	`conf`	Declarative N. Programming: A logical view. CATS John N. Crossley
2001	J	`jnl`	Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs. J. Univers. Comput. Sci. John N. Crossley, Iman Poernomo
2001	—	`conf`	Programs, Proofs and Parametrized Specifications. WADT Iman Poernomo, John N. Crossley, Martin Wirsing
2000	—	`conf`	Protocols between Programs and Proofs. LOPSTR (LNCS 2042: Selected Papers) Iman Poernomo, John N. Crossley
2000	C	`conf`	Protocols between programs and proofs. LOPSTR Iman Poernomo, John N. Crossley
1999	—	`conf`	Extraction of Structured Programs from Specification Proofs. WADT John N. Crossley, Iman Poernomo, Martin Wirsing
1998	J	`jnl`	Curry-Howard Terms for Linear Logic. Stud Logica Frank A. Bäuerle, David W. Albrecht, John N. Crossley, John S. Jeavons
1998	—	`conf`	Proof Normalization of Structured Algebraic Specifications Is Convergent. WADT Martin Wirsing, John N. Crossley, Hannes Peterreins
1997	J	`jnl`	New Curry-Howard Terms for Full Linear Logic. Theor. Comput. Sci. David W. Albrecht, John N. Crossley, John S. Jeavons
1996	—	`conf`	First-Order Constrained Lambda Calculus. FroCoS John N. Crossley, Luis Mandel, Martin Wirsing
1995	B	`conf`	Practical Logic (Abstract). ISAAC John N. Crossley
1994	J	`jnl`	A logical calculus for polynomial-time realizability. Methods Log. Comput. Sci. John N. Crossley, Gerald L. Mathai, Robert A. G. Seely
1994	J	`jnl`	Proofs, programs, and run times. Methods Log. Comput. Sci. John N. Crossley, Jeffrey B. Remmel
1992	J	`jnl`	Cancellation Laws for Polynomial-Time p-Isolated Sets. Ann. Pure Appl. Log. John N. Crossley, Jeffrey B. Remmel
1989	J	`jnl`	Completeness Proofs for Propositional Logic with Polynomial-Time Connectives. Ann. Pure Appl. Log. John N. Crossley, Philip J. Scott
1989	J	`jnl`	Interface Logic Programming. Aust. Comput. J. John N. Crossley, Pierre Lim, Peter J. Stuckey
1987	J	`jnl`	Natural well-orderings. Arch. Math. Log. John N. Crossley, Jane Bridge Kister
1986	J	`jnl`	Preface. Ann. Pure Appl. Log. John N. Crossley
1986	J	`jnl`	Recursive categoricity and recursive stability. Ann. Pure Appl. Log. John N. Crossley, Alfred B. Manaster, Michael F. Moses
1981	J	`jnl`	Meeting of the Association for Symbolic Logic: Melbourne, Australia 1979. J. Symb. Log. John N. Crossley, Lloyd Humberstone
1966	J	`jnl`	Constructive Order Types, II. J. Symb. Log. John N. Crossley
1966	J	`jnl`	Meeting of the Association for Symbolic Logic. J. Symb. Log. John N. Crossley
1963	J	`jnl`	Meeting of the Association for Symbolic Logic. J. Symb. Log. E. J. Lemmon, M. A. E. Dummett, John N. Crossley