Suivre
Paolo Pistone
Paolo Pistone
Affiliation inconnue
Adresse e-mail validée de uniroma3.it - Page d'accueil
Titre
Citée par
Citée par
Année
Logic programming and logarithmic space
C Aubert, M Bagnol, P Pistone, T Seiller
Asian Symposium on Programming Languages and Systems, 39-57, 2014
192014
The naturality of natural deduction
L Tranchini, P Pistone, M Petrolo
Studia Logica 107 (1), 195-231, 2019
152019
The naturality of natural deduction (II). Some remarks on atomic polymorphism
P Pistone, L Tranchini, M Petrolo
arXiv preprint arXiv:1908.11353, 2019
82019
POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’TALE
P Pistone
Bulletin of Symbolic Logic 24 (1), 1-52, 2018
82018
On Dinaturality, Typability and beta-eta-Stable Models
P Pistone
2nd International Conference on Formal Structures for Computation and …, 2017
62017
Proof nets and the instantiation overflow property
P Pistone
arXiv preprint arXiv:1803.09297, 2018
52018
On generalized metric spaces for the simply typed lambda-calculus
P Pistone
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021
42021
Proof nets, coends and the Yoneda isomorphism
P Pistone
arXiv preprint arXiv:1810.01252, 2018
42018
A partial metric semantics of higher-order types and approximate program transformations
G Geoffroy, P Pistone
CSL 2021-Computer Science Logic, 2021
32021
The Yoneda Reduction of Polymorphic Types
P Pistone, L Tranchini
29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021
32021
On completeness and parametricity in the realizability semantics of System F
P Pistone
Logical Methods in Computer Science 15, 2019
32019
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives
P Pistone, L Tranchini, M Petrolo
Studia Logica 110 (2), 545-592, 2022
22022
What's Decidable about (Atomic) Polymorphism
P Pistone, L Tranchini
arXiv preprint arXiv:2105.00748, 2021
22021
On paradoxes in normal form
M Petrolo, P Pistone
Topoi 38 (3), 605-617, 2019
22019
Proving properties of polymorphic programs using type isomorphisms with the Yoneda lemma
P Pistone, L Tranchini
22019
From Identity to Difference: A Quantitative Interpretation of the Identity Type
P Pistone
arXiv preprint arXiv:2107.06150, 2021
12021
On Measure Quantifiers in First-Order Arithmetic
M Antonelli, U Dal Lago, P Pistone
Conference on Computability in Europe, 12-24, 2021
12021
On generalized metric spaces for the simply typed lambda-calculus (extended version)
P Pistone
arXiv preprint arXiv:2104.13324, 2021
12021
The Yoneda Reduction of Polymorphic Types (Extended Version)
P Pistone, L Tranchini
arXiv preprint arXiv:1907.03481, 2019
12019
On Counting Propositional Logic and Wagner’s Hierarchy
M Antonelli, U Dal Lago, P Pistone
1
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20