Simple general recursion in type theory

Simple general recursion in type theory

Artikkeli

Bove, Ana

Julkaisussa: Nordic journal of computing 8 (2001) : 1, s. 22-42

Tallennettuna:

Kieli

englanti

Luokitus

acmccs F.3.1

Aiheet/asiasanat

general recursion

type theory

functional programming

Saatavuustiedot

Henkilökuntanäyttö