Jose Espirito Santo

Identifiers

• name variant Jose Espirito Santo 0.60 · backfill

Papers (1)

1. Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi cs.LO · 2009 · author #1

Mentions

• 0903.1822 #1 · backfill · confidence 0.70 Jose Espirito Santo

Frequent Coauthors

• Luis Pinto 1 shared papers
• Ralph Matthes 1 shared papers