Clocked lambda calculus (Q5269007)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6731045
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.938685655593872
0 references
0.763938844203949
0 references
0.750370979309082
0 references
0.7310069799423218
0 references
