The following pages link to Philip J. Scott (Q1123882):
Displaying 25 items.
- (Q308139) (redirect page) (← links)
- (Q1342246) (redirect page) (← links)
- AF inverse monoids and the structure of countable MV-algebras (Q308140) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- Functorial polymorphism (Q753948) (← links)
- An exactification of the monoid of primitive recursive functions (Q817674) (← links)
- A categorical model for the geometry of interaction (Q817846) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- Completeness proofs for propositional logic with polynomial-time connectives (Q1123883) (← links)
- Intuitionist type theory and the free topos (Q1148318) (← links)
- Intuitionist type theory and foundations (Q1152364) (← links)
- An algebraic treatment of the Barwise compactness theory (Q1181483) (← links)
- Bounded linear logic: A modular approach to polynomial-time computability (Q1193854) (← links)
- On the \(\pi\)-calculus and linear logic (Q1342247) (← links)
- Realizability models for BLL-like languages (Q1827395) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Partially traced categories (Q1940191) (← links)
- Finiteness spaces and generalized power series (Q2134813) (← links)
- Isotropy of algebraic theories (Q2134819) (← links)
- Formalizing abstract computability: Turing categories in Coq (Q2333325) (← links)
- (Q2849878) (← links)
- Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial (Q3000923) (← links)
- (Q3310620) (← links)
- (Q3342573) (← links)
- Proofs as Polynomials (Q5415631) (← links)
- Polymorphic Automorphisms and the Picard Group. (Q6159942) (← links)
