Show simple item record

dc.contributor.authorPym, David
dc.date.accessioned2013-12-09T13:44:36Z
dc.date.available2013-12-09T13:44:36Z
dc.date.issued2013-12-09
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/4695
dc.language.isoenen_US
dc.relation.ispartofseriesDepartment of Computer Science Technical Report;694 - December 1994
dc.titleA Note on the Proof Theory of the λπ- Calculusen_US
dc.typeTechnical Reporten_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record