Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-time Temporal Logic (Q5412171)
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: Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-time Temporal Logic |
scientific article; zbMATH DE number 6288734
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-time Temporal Logic |
scientific article; zbMATH DE number 6288734 |
Statements
25 April 2014
0 references
Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-time Temporal Logic (English)
0 references
0.9241156
0 references
0.9053696
0 references
0.90216726
0 references
0.8971849
0 references
0.8930576
0 references
0.8872886
0 references
