Computability Via The Lambda Calculus with Patterns (Q3070573)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computability Via The Lambda Calculus with Patterns |
scientific article |
Statements
Computability Via The Lambda Calculus with Patterns (English)
0 references
3 February 2011
0 references
lambda calculus
0 references
lambda calculus with patterns
0 references
congruence
0 references
computability relative to a structure
0 references