An introduction to partial lambda algebras

dc.contributor.author	Cockett, J. R. B.	eng
dc.contributor.author	Hofstra, P. J. W.	eng
dc.date.accessioned	2008-02-26T20:30:09Z
dc.date.available	2008-02-26T20:30:09Z
dc.date.computerscience	2006-10-31	eng
dc.date.issued	2006-10-31	eng
dc.description.abstract	The purpose of this paper is to give an exposition of the theory of partial combinatory algebras, models of the partial lambda calculus and various related concepts from the point of view of restriction categories. We feel that restriction categories not only simplify and clarify the presentation of the subject matter, but also provide us with precisely the right type of logic to reason about the structures involved.	eng
dc.description.notes	We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at digitize@ucalgary.ca	eng
dc.identifier.department	2006-845-38	eng
dc.identifier.doi	http://dx.doi.org/10.11575/PRISM/30564
dc.identifier.uri	http://hdl.handle.net/1880/45459
dc.language.iso	Eng	eng
dc.publisher.corporate	University of Calgary	eng
dc.publisher.faculty	Science	eng
dc.subject	Computer Science	eng
dc.title	An introduction to partial lambda algebras	eng
dc.type	unknown
thesis.degree.discipline	Computer Science	eng