| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
| Author | Tronci, Enrico | ||||
| Title | Equational Programming in lambda-calculus | Type | Conference Article | ||
| Year | 1991 | Publication | Sixth Annual IEEE Symposium on Logic in Computer Science (LICS) | Abbreviated Journal | |
| Volume | Issue | Pages | 191-202 | ||
| Keywords | |||||
| Abstract | |||||
| Address | |||||
| Corporate Author | Thesis | ||||
| Publisher | IEEE Computer Society | Place of Publication | Amsterdam, The Netherlands | Editor | |
| Language | Summary Language | Original Title | |||
Series Editor  |
Series Title | Abbreviated Series Title | |||
| Series Volume | Series Issue | Edition | |||
| ISSN | ISBN | Medium | |||
| Area | Expedition | Conference | |||
| Notes | Approved | yes | |||
| Call Number | Sapienza @ mari @ lics91 | Serial | 58 | ||
| Permanent link to this record | |||||