Frege structures for partial applicative theories (Q4934811)
From MaRDI portal
scientific article; zbMATH DE number 1394591
Language | Label | Description | Also known as |
---|---|---|---|
English | Frege structures for partial applicative theories |
scientific article; zbMATH DE number 1394591 |
Statements
Frege structures for partial applicative theories (English)
0 references
31 July 2000
0 references
partiality
0 references
Frege structures
0 references
truth theory
0 references
applicative theories
0 references
streams in strict functional programming languages
0 references