Ésik Zoltán and Bernátsky László:
Scott induction and equational proofs.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 1.
pp. 154-181.
ISSN 1571-0661
(1995)
Preview |
Text
1-s2.0-S1571066104800094-main.pdf - Published Version Download (1MB) | Preview |
| Item Type: | Journal Article |
|---|---|
| Journal or Publication Title: | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
| Date: | 1995 |
| Volume: | 1 |
| Page Range: | pp. 154-181 |
| ISSN: | 1571-0661 |
| Faculty/Unit: | Faculty of Science and Mathematics |
| Institution: | Szegedi Tudományegyetem |
| Language: | English |
| MTMT rekordazonosító: | 1755979 |
| DOI azonosító: | https://doi.org/10.1016/S1571-0661(04)80009-4 |
| Date Deposited: | 2023. Sep. 10. 22:04 |
| Last Modified: | 2023. Sep. 10. 22:04 |
| URI: | http://publicatio.bibl.u-szeged.hu/id/eprint/20892 |
Actions (login required)
 |
View Item |
Download Statistics
Download Statistics
