( en | de | ru )

 

Disambiguierung von "Fernández, Maribel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Linearity and iterator types for Gödel's System.

, , , und . High. Order Symb. Comput., 23 (1): 1-27 (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Bárbara Fernández Fernández

Fernando Fernández

Victoria Fernández

Asunción Fernández

Pablo Fernández

 

Weitere Publikationen von Autoren mit dem selben Namen

Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization., , und . ESOP, Volume 1058 von Lecture Notes in Computer Science, Seite 387-403. Springer, (1996)Type assignment and termination of interaction nets.. Math. Struct. Comput. Sci., 8 (6): 593-636 (1998)Call-by-Value lambda-Graph Rewriting Without Rewriting., und . ICGT, Volume 2505 von Lecture Notes in Computer Science, Seite 75-89. Springer, (2002)EVL: a typed functional language for event processing., , und . CoRR, (2021)Preface to the Special Issue on Linearity., und . J. Autom. Reason., 63 (4): 809-811 (2019)Operational equivalence for interaction nets., und . Theor. Comput. Sci., 297 (1-3): 157-181 (2003)A new graphical calculus of proofs, , und . TERMGRAPH, Volume 48 von EPTCS, Seite 69-84. (2011)Iterator Types., , , und . FoSSaCS, Volume 4423 von Lecture Notes in Computer Science, Seite 17-31. Springer, (2007)Workshop TERMGRAPH 2004.. ICGT, Volume 3256 von Lecture Notes in Computer Science, Seite 437-438. Springer, (2004)An Operational Approach to Program Extraction in the Calculus of Constructions., und . LOPSTR, Volume 2664 von Lecture Notes in Computer Science, Seite 111-125. Springer, (2002)