Simple general recursion in type theory

Simple general recursion in type theory

Article

Bove, Ana

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

Saved in:

Language

English

Classification

acmccs F.3.1

Subjects/keywords

general recursion

type theory

functional programming