Person:752666

Available identifiers

zbMath Open crossley.john-newsomeWikidataQ6227761 ScholiaQ6227761MaRDI QIDQ752666

List of research outcomes

Publication	Date of Publication	Type
What is mathematical logic? An Australian odyssey	2024-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q6041914	2023-05-15	Paper
… and so on: Schütte on Naming Ordinals	2021-12-03	Paper
Logics Modulo Theories: a logical framework for multi-agent systems	2019-01-08	Paper
What Is Mathematical Logic? A Survey	2015-04-17	Paper
What Is a Proof?	2015-04-17	Paper
What Is the Difference Between Proofs and Programs?	2015-04-17	Paper
Declarative programming	2013-07-24	Paper
Tiered Logic for Agents in Contexts	2010-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q3529181	2008-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q3518185	2008-08-07	Paper
Disjunctive Constraint Lambda Calculi	2008-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5477948	2006-06-29	Paper
Adapting Proofs-as-Programs	2005-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4737136	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4471724	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4460836	2004-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4460845	2004-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4437264	2003-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q4421868	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q2735783	2001-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q2722042	2001-07-11	Paper
Curry-Howard terms for linear logic	2001-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q2709211	2001-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4941939	2000-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4700804	1999-11-08	Paper
New Curry-Howard terms for full linear logic	1998-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4385454	1998-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4397041	1998-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q5689739	1997-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4856950	1996-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q4764097	1995-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q4764104	1995-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4040322	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4035306	1993-05-18	Paper
Cancellation laws for polynomial-time \(p\)-isolated sets	1992-09-27	Paper
Thus spake al-Ḵẖwārizmī: A translation of the text of Cambridge University library ms. ii.vi.5	1990-01-01	Paper
Completeness proofs for propositional logic with polynomial-time connectives	1989-01-01	Paper
Fifty years of computability	1988-01-01	Paper
Recursive categoricity and recursive stability	1986-01-01	Paper
Natural well-orderings	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3676136	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3346300	1983-01-01	Paper
The given	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3918101	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3919665	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3926567	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3904585	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3924139	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4170702	1978-01-01	Paper
Effective dimension	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4103066	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4071223	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4087158	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4769050	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4777250	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5663820	1972-01-01	Paper
Recursive Equivalence	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5575559	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5565103	1968-01-01	Paper
Constructive order types, II	1966-01-01	Paper
Non-uniqueness at ω2 in Kleene'sO	1966-01-01	Paper
Constructive order types, III	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5521482	1965-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: John N. Crossley