Home | << 1 >> |
![]() |
Record | |||||
---|---|---|---|---|---|
Author ![]() |
Böhm, Corrado; Tronci, Enrico | ||||
Title | X-separability and left-invertibility in the λ-calculus (extended abstract, invited paper) | Type | Conference Article | ||
Year | 1987 | Publication | Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanea | Abbreviated Journal | |
Volume | Issue | Pages | |||
Keywords | |||||
Abstract | |||||
Address | |||||
Corporate Author | Thesis | ||||
Publisher | Place of Publication | Cesena - Italy | 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 @ cesena87 | Serial | 64 | ||
Permanent link to this record |