A Second-order pattern matching algorithm for the cube of typed lambda-calculi
Abstract
Résumé disponble dans les fichiers attachés
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00074975
Submitted on : Wednesday, May 24, 2006-5:06:50 PM
Last modification on : Tuesday, February 7, 2023-3:40:50 AM
Long-term archiving on: Tuesday, April 12, 2011-8:22:20 PM