Search Results - Carlos Tomé Cortiñas

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Normalization for fitch-style modal calculi

    Normalization for fitch-style modal calculi by Valliappan, Nachiappan, Ruch, Fabian, Tomé Cortiñas, Carlos

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Sensitivity by Parametricity

    Sensitivity by Parametricity by Lobo-Vesga, Elisabet, Russo, Alejandro, Gaboardi, Marco, Cortiñas, Carlos Tomé

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Securing Asynchronous Exceptions

    Securing Asynchronous Exceptions by Cortinas, Carlos Tome, Vassena, Marco, Russo, Alejandro

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Normalization for Fitch-Style Modal Calculi

    Normalization for Fitch-Style Modal Calculi by Valliappan, Nachiappan, Ruch, Fabian, Carlos Tomé Cortiñas

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: