Dangos 1 - 2 canlyniadau o 2 ar gyfer chwilio 'Jose Espirito Santo', amser ymholiad: 0.02e Mireinio'r Canlyniadau
  1. 1
    Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi

    Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi gan Jose Espirito Santo, Ralph Matthes, Luis Pinto

    Cyhoeddwyd 2009-05-01
    Cael y testun llawn
    Erthygl
  2. 2
    A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications

    A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications gan José Espírito Santo, Delia Kesner, Loïc Peyrot

    Cyhoeddwyd 2024-07-01
    Cael y testun llawn
    Erthygl

Offerynnau Chwilio: