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 |