A two-valued logic for properties of strict functional programs allowing partial functions (Q352946)
From MaRDI portal
scientific article
In more languages
Configure| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A two-valued logic for properties of strict functional programs allowing partial functions |
scientific article |
Statements
A two-valued logic for properties of strict functional programs allowing partial functions (English)
