Вы здесь

Di Cosmo R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Extensional Normalisation and Type-Directed Partial Evaluation for Typed Lambda Calculus with Sums 2004 Balat V., Di Cosmo R., Fiore M. SIGACT, SIGPLAN POPL 2004 08.06.2004
СТ A Game Semantics Foundation for Logic Programming 1998 Di Cosmo R., Loddo J. -V., Nicolet S. Lecture Notes in Computer Science 13.10.1998
СТ Type Isomorphisms for Module Signatures 1996 Aponte M. -V., Di Cosmo R. Lecture Notes in Computer Science 20.11.1996
СТ Expanding Extensional Polymorphism 1995 Di Cosmo R., Piperno A. Lecture Notes in Computer Science 15.04.1995
СТ Combining First Order Algebraic Rewriting Systems, Recursion and Extensional Lambda Calculi 1994 Di Cosmo R., Kesner D. Lecture Notes in Computer Science 11.08.1994