Discriminating lambda-terms using clocked Böhm trees (Q5419488)
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 6302291
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Discriminating lambda-terms using clocked Böhm trees |
scientific article; zbMATH DE number 6302291 |
Statements
Discriminating Lambda-Terms Using Clocked Boehm Trees (English)
0 references
10 June 2014
0 references
\(\lambda \)-calculus
0 references
Böhm trees
0 references
\(\beta \)-inconvertibility
0 references
fixed-point combinators
0 references
0.938685655593872
0 references
0.8767874240875244
0 references
0.7573748230934143
0 references
0.7492366433143616
0 references
0.7467159628868103
0 references
