A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata (Q3613331)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata |
scientific article |
Statements
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata (English)
0 references
12 March 2009
0 references
0.9959060549736024
0 references
0.7788726687431335
0 references
0.757768988609314
0 references
0.7570945024490356
0 references
0.756818950176239
0 references
