Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1997. === Includes bibliographical references (p. 98-96). === by Jakov Kuc̆an. === Ph.D.

Bibliographic Details
Main Author:	Kuc̆an, Jakov
Other Authors:	Albert R. Meyer.
Format:	Others
Language:	English
Published:	Massachusetts Institute of Technology 2008
Subjects:	Mathematics
Online Access:	http://hdl.handle.net/1721.1/42606

id	ndltd-MIT-oai-dspace.mit.edu-1721.1-42606
record_format	oai_dc
spelling	ndltd-MIT-oai-dspace.mit.edu-1721.1-426062019-05-02T16:08:35Z Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems" Kuc̆an, Jakov Albert R. Meyer. Massachusetts Institute of Technology. Dept. of Mathematics Mathematics Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1997. Includes bibliographical references (p. 98-96). by Jakov Kuc̆an. Ph.D. 2008-09-03T16:12:04Z 2008-09-03T16:12:04Z 1997 1997 Thesis http://hdl.handle.net/1721.1/42606 37160168 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 96 p. application/pdf Massachusetts Institute of Technology
collection	NDLTD
language	English
format	Others
sources	NDLTD
topic	Mathematics
spellingShingle	Mathematics Kuc̆an, Jakov Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"
description	Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1997. === Includes bibliographical references (p. 98-96). === by Jakov Kuc̆an. === Ph.D.
author2	Albert R. Meyer.
author_facet	Albert R. Meyer. Kuc̆an, Jakov
author	Kuc̆an, Jakov
author_sort	Kuc̆an, Jakov
title	Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"
title_short	Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"
title_full	Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"
title_fullStr	Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"
title_full_unstemmed	Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"
title_sort	metatheorems about convertibility in typed lambda calculi : applications to cps transform and "free theorems"
publisher	Massachusetts Institute of Technology
publishDate	2008
url	http://hdl.handle.net/1721.1/42606
work_keys_str_mv	AT kucanjakov metatheoremsaboutconvertibilityintypedlambdacalculiapplicationstocpstransformandfreetheorems
_version_	1719035297988083712

Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"

Similar Items