Scott induction and equational proofs
Elmentve itt :
| Szerzők: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
1995
|
| Sorozat: | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
1 |
| Tárgyszavak: | |
| doi: | 10.1016/S1571-0661(04)80009-4 |
| mtmt: | 1755979 |
| Online Access: | http://publicatio.bibl.u-szeged.hu/20892 |
| Terjedelem/Fizikai jellemzők: | 154-181 |
|---|---|
| ISSN: | 1571-0661 |