A user's friendly syntax to define recursive functions as typed λ-terms (Q6061875)
From MaRDI portal
scientific article; zbMATH DE number 7774800
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A user's friendly syntax to define recursive functions as typed λ-terms |
scientific article; zbMATH DE number 7774800 |
Statements
A user's friendly syntax to define recursive functions as typed λ-terms (English)
0 references
8 December 2023
0 references
data type
0 references
induction hypothesis
0 references
recursive function
0 references
introduction rule
0 references
inductive variable
0 references
