Skip to content
cs-conference-ranking.org

Jos Esprito Santo

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

8

Active years

2000–2025

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2025WoLLICProof Search in Classical Propositional Logic with Partial Proof Terms.Jos Esprito Santo, Ana Catarina Sousa
2024PPDPThe logical essence of call-by-name CPS translations.Jos Esprito Santo, Filipa Mendes
2023FSCDThe Logical Essence of Compiling with Continuations.Jos Esprito Santo, Filipa Mendes
2022FOSSACSA Faithful and Quantitative Notion of Distant Reduction for Generalized Applications.Jos Esprito Santo, Delia Kesner, Loc Peyrot
2020CSLThe Call-By-Value Lambda-Calculus with Generalized Applications.Jos Esprito Santo
2017PPDPCharacterization of strong normalizability for a sequent lambda calculus with co-control.Jos Esprito Santo, Silvia Ghilezan
2010CSLTowards a Canonical Classical Natural Deduction System.Jos Esprito Santo
2007CiERefocusing Generalised Normalisation.Jos Esprito Santo
2002LPARAn Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction.Jos Esprito Santo
2000ICALPRevisiting the Correspondence between Cut Elimination and Normalisation.Jos Esprito Santo