Fonctions récursives générales par itération en théorie des types (2002)

by A Balaa, Y Bertot
Venue:In Journées Francophones pour les Langages Applicatifs