Home | << 1 >> |
Record | |||||
---|---|---|---|---|---|
Author | Böhm, Corrado; Tronci, Enrico | ||||
Title | X-Separability and Left-Invertibility in lambda-calculus | Type | Conference Article | ||
Year | 1987 | Publication | Symposium on Logic in Computer Science (LICS) | Abbreviated Journal | |
Volume | Issue | Pages | 320-328 | ||
Keywords | |||||
Abstract | |||||
Address | |||||
Corporate Author | Thesis | ||||
Publisher | IEEE Computer Society | Place of Publication | Ithaca, New York, USA | 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 @ lics87 | Serial | 63 | ||
Permanent link to this record |