Clocked lambda calculus (Q5269007)
From MaRDI portal
scientific article; zbMATH DE number 6731045
Language | Label | Description | Also known as |
---|---|---|---|
English | Clocked lambda calculus |
scientific article; zbMATH DE number 6731045 |
Statements
Clocked lambda calculus (English)
0 references
14 June 2017
0 references
lambda calculus
0 references
Böhm trees
0 references
clocked lambda calculus
0 references