Philip J. Scott

Available identifiers

zbMath Open scott.philip-jMaRDI QIDQ1123882

List of research outcomes

Publication	Date of Publication	Type
Polymorphic Automorphisms and the Picard Group.	2023-06-23	Paper
Finiteness spaces and generalized power series	2022-05-03	Paper
Isotropy of algebraic theories	2022-05-03	Paper
Characterizations of classes of countable Boolean inverse monoids	2022-04-21	Paper
Aspects of Categorical Recursion Theory	2021-12-08	Paper
Formalizing abstract computability: Turing categories in Coq	2019-11-12	Paper
On geometry of interaction for polarized linear logic	2018-10-25	Paper
Finiteness spaces and generalized power series	2018-05-24	Paper
AF inverse monoids and the structure of countable MV-algebras	2016-09-05	Paper
Reflections on the Categorical Foundations of Mathematics	2015-07-01	Paper
Proofs as Polynomials	2014-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q2849878	2013-09-20	Paper
Presheaf Models of Quantum Computation: An Outline	2013-05-28	Paper
Partially traced categories	2013-03-06	Paper
Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial	2011-05-31	Paper
Towards a typed Geometry of Interaction	2010-06-02	Paper
A categorical semantics for polarized MALL	2007-02-14	Paper
Computer Science Logic	2006-11-01	Paper
A categorical model for the geometry of interaction	2006-03-20	Paper
An exactification of the monoid of primitive recursive functions	2006-03-17	Paper
Automata, Languages and Programming	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4650576	2005-02-18	Paper
Softness of hypercoherences and MALL full completeness	2005-01-31	Paper
Realizability models for BLL-like languages	2004-08-06	Paper
Geometry of Interaction and linear combinatory algebras	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4510741	2001-08-28	Paper
The shuffle Hopf algebra and noncommutative full completeness	1999-11-29	Paper
Normalization and the Yoneda embedding	1999-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4222824	1998-12-13	Paper
Linear Läuchli semantics	1997-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4847021	1995-09-10	Paper
On the \(\pi\)-calculus and linear logic	1995-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4040149	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4035310	1993-05-18	Paper
Bounded linear logic: A modular approach to polynomial-time computability	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4010357	1992-09-27	Paper
An algebraic treatment of the Barwise compactness theory	1992-06-27	Paper
Functorial polymorphism	1990-01-01	Paper
Completeness proofs for propositional logic with polynomial-time connectives	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3483291	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3827990	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3801547	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3727946	1986-01-01	Paper
Lambda‐Algebras and C‐Monoids	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3342573	1984-01-01	Paper
NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLES	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3310620	1982-01-01	Paper
Intuitionist type theory and foundations	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3919708	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3927252	1981-01-01	Paper
Intuitionist type theory and the free topos	1980-01-01	Paper
The „Dialectica”︁ Interpretation and Categories	1978-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: Philip J. Scott