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.

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

Internet

http://hdl.handle.net/1721.1/42606