Typed Lambda Calculi and Applications (Q104594275)
Jump to navigation
Jump to search
former annual conference series on typed lambda calculus
- TLCA
- Typed Lambda Calculus and Applications
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Typed Lambda Calculi and Applications |
former annual conference series on typed lambda calculus |
|
Statements
TLCA (English)
0 references
International Conference on Typed Lambda Calculus and Applications (English)
1 reference
Identifiers
1 reference