Logic operators and quantifiers in type-theory of algorithms (Q6560410)
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: Logic operators and quantifiers in type-theory of algorithms |
scientific article; zbMATH DE number 7869822
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Logic operators and quantifiers in type-theory of algorithms |
scientific article; zbMATH DE number 7869822 |
Statements
Logic operators and quantifiers in type-theory of algorithms (English)
0 references
21 June 2024
0 references
recursion
0 references
type-theory
0 references
acyclic algorithms
0 references
denotational semantics
0 references
algorithmic semantics
0 references
reduction calculus
0 references
logic operators
0 references
quantifiers
0 references
0.7289881706237793
0 references
0.694919228553772
0 references
0.6772031784057617
0 references
