Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "José Espírito Santo" ( http://dblp.L3S.de/Authors/José_Espírito_Santo )

  Author page on DBLP  Author page in RDF  Community of José Espírito Santo in ASPL-2

Publication years (Num. hits)
2000-2011 (16)
Publication types (Num. hits)
article(4) inproceedings(12)
Venues (Conferences, Journals, ...)
TLCA(3) TYPES(3) RTA(2) ACM Trans. Comput. Log.(1) CiE(1) CSL(1) ICALP(1) Logical Methods in Computer Sc...(1) LPAR(1) Theor. Comput. Sci.(1) Theory Comput. Syst.(1)
Authors
José Espírito Santo(16) Luis Pinto(7) Ralph Matthes(3) Jelena Ivetic(1) Maria João Frade(1) Silvia Ghilezan(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1José Espírito Santo A note on preservation of strong normalisation in the λ-calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1José Espírito Santo, Luis Pinto A calculus of multiary sequent terms. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1José Espírito Santo Towards a Canonical Classical Natural Deduction System. Search on Bibsonomy CSL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1José Espírito Santo, Ralph Matthes, Luis Pinto Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2009 DBLP  BibTeX  RDF
1José Espírito Santo The lambda-Calculus and the Unity of Structural Proof Theory. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1José Espírito Santo, Ralph Matthes, Luis Pinto Monadic Translation of Intuitionistic Sequent Calculus. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1José Espírito Santo Completing Herbelin's Programme. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1José Espírito Santo, Ralph Matthes, Luis Pinto Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1José Espírito Santo, Silvia Ghilezan, Jelena Ivetic Characterising Strongly Normalising Intuitionistic Sequent Terms. Search on Bibsonomy TYPES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1José Espírito Santo Delayed Substitutions. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1José Espírito Santo Refocusing Generalised Normalisation. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF generalised elimination rules, multiarity, normalisation
1José Espírito Santo, Maria João Frade, Luis Pinto Structural Proof Theory as Rewriting. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1José Espírito Santo, Luis Pinto Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts. Search on Bibsonomy TLCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1José Espírito Santo, Luis Pinto Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1José Espírito Santo An Isomorphism between a Fragment of Sequent Calculus and an Extension of Natural Deduction. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1José Espírito Santo Revisiting the Correspondence between Cut Elimination and Normalisation. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.