Petri Net Models for the Evaluation of Applicative Programs Based on λ-Expressions (Q3660880)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Petri Net Models for the Evaluation of Applicative Programs Based on λ-Expressions |
scientific article |
Statements
Petri Net Models for the Evaluation of Applicative Programs Based on λ-Expressions (English)
0 references
1983
0 references
Church's lambda calculus
0 references
applicative languages and systems
0 references
data flow concepts
0 references
Petri net models
0 references